Merge commit 'origin/master' into hruid.
[platal.git] / .gitmodules
CommitLineData
eb2bd5a2
FB
1[submodule "core"]
2 path = core
3 url = ./