chiark / gitweb /
man: fix minor type in man page