chiark / gitweb /
Use curl to download things rather than dget; do our own processing of the files
-rw-r--r-- 70 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 452 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 59137 dgit
-rwxr-xr-x 15828 dgit-repos-server
-rw-r--r-- 27190 dgit.1
drwxr-xr-x - tests