tweaks in onelab-k27
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 16 Nov 2009 15:32:02 +0000 (15:32 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 16 Nov 2009 15:32:02 +0000 (15:32 +0000)
commitcc5af79ec100f5bd5af04ec616426bc671d99490
tree54d3acb13bf5de863bfd66e50d8bb88b8d5ef78d
parent338adb96a49b340b6f2f35e6ed1fc72764771827
tweaks in onelab-k27
onelab-k27-tags.mk