Code

git-gui: Use option database defaults to set the font
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 1814 GIT-VERSION-GEN
-rw-r--r-- 1751 Makefile
-rwxr-xr-x 147869 git-gui.sh