chiark / gitweb /
[PATCH] udevinfo - missing options for man page