fix cut-n-paste error
[build.git] / config.onelab /
2008-01-04 Thierry Parmentelatthis is required and cannot be obtained from config...