Merge branch 'PR/192'
tree9cda020fc5c957a65ae76180e8200d398cd26cdc
-rw-r--r-- 85 .gitattributes
-rw-r--r-- 28 .gitignore
-rw-r--r-- 2383 README-SUBMODULES.md
-rw-r--r-- 9730 README.md
-rwxr-xr-x 24365 hg-fast-export.py
-rwxr-xr-x 6942 hg-fast-export.sh
-rwxr-xr-x 4721 hg-reset.py
-rwxr-xr-x 1863 hg-reset.sh
-rwxr-xr-x 4019 hg2git.py
drwxr-xr-x - pluginloader
drwxr-xr-x - plugins