chiark / gitweb /
Better reporting of child exit statuses (esp. deaths due to signals).
-rw-r--r-- 70 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 452 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 60834 dgit
-rwxr-xr-x 15828 dgit-repos-server
-rw-r--r-- 27504 dgit.1
drwxr-xr-x - tests