really turn off wextoolbox :)
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 24 Jul 2010 11:33:10 +0000 (13:33 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 24 Jul 2010 11:33:10 +0000 (13:33 +0200)
commit9cf40f7bf1506d6bfcc744cff6a50461366d2a6a
tree5635e3e372ef8323be9338bf254944b6d3086a11
parent2bb2ef3f12a300a878c6a84c0cf4eb48e679b3c6
really turn off wextoolbox :)
scripts/builds.sh