Merge branch 'platal-0.9.17'
[platal.git] / .gitmodules
1 [submodule "core"]
2         path = core
3         url = ./