merging the svn+git capable build from svn
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 21 May 2010 21:21:51 +0000 (23:21 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 21 May 2010 21:21:51 +0000 (23:21 +0200)
commit71ccfeb2b514ee738f1b95b0dccb9fd05a1a2de6
tree6e5bb5a36f1027412b4a0312123d53d7695c506f
parentb8b9aa95ffc076af818d18c46e19988713b3e39c
merging the svn+git capable build from svn
Makefile
vbuild-nightly.sh