launch_editor(): allow spaces in the filename
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: fc99469a2b786676ffe48d5966d71cea3613b716)
-rw-r--r-- 404 git-gui.sh