chiark / gitweb /
htmlman now deals with getting filenames right. Also quietens an
[disorder] / AUTHORS
CommitLineData
02e6eb5f 1See the end of README for authorship details.