chiark / gitweb /
Set autoflush on stdout, to get better ordering of debugging etc. output when stdout...
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 303 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 36929 dgit
-rw-r--r-- 22853 dgit.1