use new names
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Mar 2008 17:32:23 +0000 (17:32 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 Mar 2008 17:32:23 +0000 (17:32 +0000)
commit2b310353c6e7b61df1c8633d836545de573a19fb
tree6c5ddd2607da9c48e7c62178305636828fa1620d
parentb3341034b0768d0a187eb60ad2c77c803b1bd306
use new names
vbuild-nightly.sh