verify_filename(): ask the caller to chose the kind of diagnosis
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 023e37c37780d6a56f2870a979c8eb3a9ee9a44d)
-rw-r--r-- 687 git-gui.sh