git-gui: rework handling of diff header
[gitweb.git] / windows /
drwxr-xr-x   parent (dest: ; base: c976bbff3c3e46e700adbdc14def8c9432fc925c)
-rw-r--r-- 687 git-gui.sh