rename myplc-init-vserver into vtest-init-vserver
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 10 Jan 2008 11:34:36 +0000 (11:34 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 10 Jan 2008 11:34:36 +0000 (11:34 +0000)
commitac15340f6e407f2a55f9e680649b51ced279ac1d
tree50bb519b8bef431a756dafcfe1f4af513290ea78
parentafefe68ee3cb276ff50c5156438c3d930271a19f
rename myplc-init-vserver into vtest-init-vserver
vbuild-init-vserver.sh
vbuild-nightly.sh
vtest-init-vserver.sh [moved from myplc-init-vserver.sh with 100% similarity]
vtest-nightly.sh