The core directory is filled with the core branch.

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..7c16f52
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "core"]
+       path = core
+       url = ./

diff --git a/core b/core
new file mode 160000 (submodule)
index 0000000..ba63661
--- /dev/null
+++ b/core
@@ -0,0 +1 @@
+Subproject commit ba63661ce2f38974002c7e4113320e9d06010853