chiark / gitweb /
upgrade instructions
[disorder] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 896 Makefile.am
-rwxr-xr-x 2146 check
-rw-r--r-- 2281 completion.bash
-rw-r--r-- 440 copyright.exceptions
-rwxr-xr-x 1295 dist
-rwxr-xr-x 1897 htmlman
-rwxr-xr-x 953 inst
-rwxr-xr-x 19204 make-unidata
-rwxr-xr-x 1111 makedeb
-rw-r--r-- 1568 oggrename
-rw-r--r-- 1195 sedfiles.make
-rwxr-xr-x 334 text2c