chiark / gitweb /
man: make udev.event-timeout more visible