Fix quick search broken by 7188601607762f52cf2688b4e97cedd5e36c8ad7.

[platal.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 7c16f52..addee92 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "core"]
        path = core
        url = ./
+[submodule "banana"]
+       path = banana
+       url = git://git.polytechnique.org/banana.git