Merge remote branch 'origin/platal-1.0.1'
[platal.git] / .gitmodules
... / ...
CommitLineData
1[submodule "core"]
2 path = core
3 url = ./
4[submodule "banana"]
5 path = banana
6 url = git://git.polytechnique.org/banana.git