Fix quick search broken by 7188601607762f52cf2688b4e97cedd5e36c8ad7.
[platal.git] / .gitmodules
1 [submodule "core"]
2         path = core
3         url = ./
4 [submodule "banana"]
5         path = banana
6         url = git://git.polytechnique.org/banana.git