chiark / gitweb /
Do not remove destination when clone fails because it already exists (!)
-rw-r--r-- 70 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 452 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 58474 dgit
-rwxr-xr-x 15828 dgit-repos-server
-rw-r--r-- 27190 dgit.1
drwxr-xr-x - tests