branch: use non-gentle write_file for branch description
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 3d75bba28d8665ec43f1faffce38d5817c77ebe8)
-rwxr-xr-x 687 git-gui.sh