chiark / gitweb /
done push perhaps
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1046 Makefile
-rw-r--r-- 821 NOTES
-rw-r--r-- 466 TODO
drwxr-xr-x - debian
-rwxr-xr-x 11860 dgit