chiark / gitweb /
better debug
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 161 NOTES
-rw-r--r-- 141 TODO
drwxr-xr-x - debian
-rwxr-xr-x 17972 dgit
-rw-r--r-- 7620 dgit.1