turn off wextoolbox temporarily
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 24 Jul 2010 06:45:06 +0000 (08:45 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 24 Jul 2010 06:45:06 +0000 (08:45 +0200)
commit23ec5ef367055aa50d8558852c6069c524a98cee
tree0fde2fff0969ec68cc58ddfa15671ba76e692022
parentfff70f86e2353e461d70d84e0b915003dad64c6a
turn off wextoolbox temporarily
scripts/builds.sh