git-prompt.sh: allow to hide prompt for ignored pwd
[gitweb.git] / contrib / hg-to-git /
drwxr-xr-x   parent (dest: contrib; base: 0120b8c85c7a52b26ea7062fec349d178a4e0208)
-rwxr-xr-x 8074 hg-to-git.py
-rw-r--r-- 890 hg-to-git.txt