Don't modify CREDITS-FILE if it hasn't changed.
-rw-r--r-- 49 .gitignore
-rwxr-xr-x 1598 CREDITS-GEN
-rwxr-xr-x 1814 GIT-VERSION-GEN
-rw-r--r-- 1508 Makefile
-rwxr-xr-x 150095 git-gui.sh