chiark / gitweb /
Mention "git merge", not "git-merge", in helpful message. Closes:#725632.
-rw-r--r-- 60 .gitignore
-rw-r--r-- 1231 Makefile
-rw-r--r-- 303 NOTES
drwxr-xr-x - debian
-rwxr-xr-x 53101 dgit
-rw-r--r-- 26711 dgit.1