Merge branch 'po/doc-branch' into maint
[git] / .gitmodules
1 [submodule "sha1collisiondetection"]
2         path = sha1collisiondetection
3         url = https://github.com/cr-marcstevens/sha1collisiondetection.git
4         branch = master