X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=core;h=380e2a5ab0f7c9edbf73c76259cb0c38119e53af;hb=46f272feb613c57febf40a0f7bf6a721e439b73b;hp=ec537891a3f18af89489062c0907523d3d57cced;hpb=d4775fe2dea4db5e6ca3db4a6034bb03a8b711cc;p=platal.git

diff --git a/core b/core
index ec53789..380e2a5 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit ec537891a3f18af89489062c0907523d3d57cced
+Subproject commit 380e2a5ab0f7c9edbf73c76259cb0c38119e53af