chiark / gitweb /
Docs: udev.xml: Remove unnecessary repitition
authorMichael Witten <mfwitten@gmail.com>
Fri, 8 Apr 2011 21:26:51 +0000 (21:26 +0000)
committerMichael Witten <mfwitten@gmail.com>
Mon, 11 Apr 2011 05:49:35 +0000 (05:49 +0000)
commit2bf11540cff14a3acbf834505ad84c866336755e
treeedba973ab022587eadd8b3918b9f13d22e5da35e
parent55f5037ce819432e39f82f7634b35262104672f9
Docs: udev.xml: Remove unnecessary repitition

Signed-off-by: Michael Witten <mfwitten@gmail.com>
udev/udev.xml