git gui: cope with duplicates in _get_recentrepo
[gitweb.git] / windows /
drwxr-xr-x   parent (dest: ; base: 3202c68ee0060d3a1f3b6f73b4932c6e8b263abb)
-rwxr-xr-x 687 git-gui.sh