Updates master branch to the last plat/al version.
authorVincent Zanotti <vincent.zanotti@polytechnique.org>
Sun, 20 Jul 2008 13:50:54 +0000 (15:50 +0200)
committerVincent Zanotti <vincent.zanotti@polytechnique.org>
Sun, 20 Jul 2008 13:50:54 +0000 (15:50 +0200)
Signed-off-by: Vincent Zanotti <vincent.zanotti@polytechnique.org>
core

diff --git a/core b/core
index 5e92949..5421ab0 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 5e92949d99703fdb80398ee2347b5965fac46ba1
+Subproject commit 5421ab0971fa76a0ae98afbeffe899318c07780e