rev-list-options.txt: update --all about HEAD
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 209df269a619fdafcf42261aa7cde1a20230fc9e)
-rwxr-xr-x 687 git-gui.sh