chiark / gitweb /
htmlman now deals with getting filenames right. Also quietens an
[disorder] / disobedience / manual / button-pause.png
disobedience/manual/button-pause.png