Merge branch 'master' of git.onelab.eu:/git/build
[build.git] / config.coblitz / coblitz.mirrors
2009-07-07 Marc Fiuczynskiseems like this is required for a PLDISTRO