git-gui: Generate a version file on demand.
tree1b6093b6ffaa83ed52230320c456c3f68a1dfec5
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 754 GIT-VERSION-GEN
-rw-r--r-- 1350 Makefile
-rw-r--r-- 1659 TODO
-rwxr-xr-x 146417 git-gui.sh