use the right branch
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 6 Nov 2011 19:56:21 +0000 (20:56 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 6 Nov 2011 19:56:21 +0000 (20:56 +0100)
commit259c524fb23e9efe8d2392017e85cf87df104f6b
treed1bcf246c46c57690af4ff81f3cc3ddbcb74a4ec
parent4b5194f441f19dbe1ead3614ea4df7ffda77802b
use the right branch
onelab-k32-tags.mk