chiark / gitweb /
disobedience more robust against server restart
[disorder] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 877 Makefile.am
-rwxr-xr-x 2146 check
-rw-r--r-- 2265 completion.bash
-rw-r--r-- 440 copyright.exceptions
-rwxr-xr-x 1222 dist
-rwxr-xr-x 1495 htmlman
-rwxr-xr-x 978 inst
-rwxr-xr-x 1111 makedeb
-rw-r--r-- 1568 oggrename
-rw-r--r-- 1195 sedfiles.make
-rwxr-xr-x 334 text2c