Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-xquery
[mp-xquery-moved-to-github.git] / .gitmodules
1 [submodule "doc/common"]
2         path = doc/common
3         url = git://git.indexdata.com/id-docbook-common