default distro is now centos5
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Sep 2008 13:15:52 +0000 (13:15 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Sep 2008 13:15:52 +0000 (13:15 +0000)
commit5cea1d1820205ca3b6c11d98a9d9d6a2bfaa99f8
treebc5e7c16bf7d7a6c84665b3e82388fc958149678
parent30254d71a88aa1ff9eca32a4597a31e50ba0e87c
default distro is now centos5
vbuild-nightly.sh