chiark / gitweb /
cgi: grey out volume set buttons if unusable
[disorder] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 938 Makefile.am
-rwxr-xr-x 2146 check
-rw-r--r-- 2339 completion.bash
-rw-r--r-- 440 copyright.exceptions
-rwxr-xr-x 1351 dist
-rwxr-xr-x 3510 format-gcov-report
-rwxr-xr-x 1883 htmlman
-rwxr-xr-x 954 inst
-rwxr-xr-x 19204 make-unidata
-rwxr-xr-x 720 make-version-string
-rwxr-xr-x 1111 makedeb
-rw-r--r-- 1568 oggrename
-rw-r--r-- 1195 sedfiles.make
-rwxr-xr-x 414 text2c