Merge branch 'er/ui'
tree245b314045227539d17e6675a785f72fa5ad2f24
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 1814 GIT-VERSION-GEN
-rw-r--r-- 1725 Makefile
-rwxr-xr-x 150542 git-gui.sh