chiark / gitweb /
fix later options
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 161 NOTES
-rw-r--r-- 142 TODO
drwxr-xr-x - debian
-rwxr-xr-x 18670 dgit
-rw-r--r-- 7922 dgit.1