chiark / gitweb /
extras: delete man pages for private udev tools