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