chiark / gitweb /
extras: delete man pages for private udev tools
authorKay Sievers <kay.sievers@vrfy.org>
Wed, 17 Jun 2009 19:57:40 +0000 (21:57 +0200)
committerKay Sievers <kay.sievers@vrfy.org>
Wed, 17 Jun 2009 19:57:40 +0000 (21:57 +0200)
These are mostly dummy man pages, without real content, some even
outdated. None of these tools are part of any offered public interface,
and they should not pretend to be by offering a man page.


No differences found