rename myplc-native into plain myplc and old-fashioned myplc into myplc-chroot
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 10 Jan 2009 12:03:29 +0000 (12:03 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 10 Jan 2009 12:03:29 +0000 (12:03 +0000)
commit2230c27a18bf3371fe688513431cb496fb661a85
tree0caf8101fc267c6e0a2bd6d07b0dce5706009340
parent65eb68b55ef2c9f9162e25bad26d62a271a4617c
rename myplc-native into plain myplc and old-fashioned myplc into myplc-chroot
system/TestPlc.py