checkout: make advice when reattaching the HEAD less loud
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: f807b3dcab9cafd76936d24936b8353f99b2ae6d)
-rw-r--r-- 687 git-gui.sh