chiark / gitweb /
Docs: udev.xml: Remove unnecessary repitition