chiark / gitweb /
done
-rw-r--r-- 3 .gitignore
-rw-r--r-- 438 TODO
-rwxr-xr-x 1334 copy-alioth-to-gideon
-rwxr-xr-x 291 pretest-to-master