fix the /build/@PLDISTRO@ thing - prepares for a remote WEBPATH
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 25 Mar 2009 17:49:24 +0000 (17:49 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 25 Mar 2009 17:49:24 +0000 (17:49 +0000)
commit689b52b9dd84246a610abfbeac67959eab04ae12
treeb23d836ac80c32fc3a619d978982f8f1f31d95ff
parentfd566208aaa65086ee58bc907a09e5e0acf556cf
fix the /build/@PLDISTRO@ thing - prepares for a remote WEBPATH
vbuild-nightly.sh