diff_tree(): Skip skip_uninteresting() when all remaining paths interesting
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 7e1ec0d415dbea96d4ec6995c00cb66cdff7ceff)
-rw-r--r-- 633 git-gui.sh