merge: rename variable
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 97d45bcb2f6bdd9cb164d151a6e064ffdcd5e2bc)
-rw-r--r-- 633 git-gui.sh