chiark / gitweb /
htmlman now deals with getting filenames right. Also quietens an
[disorder] / python /
drwxr-xr-x   ..
-rw-r--r-- 928 Makefile.am
-rw-r--r-- 36119 disorder.py.in