chiark / gitweb /
adt-run manpage: fix some broken formatting