Merge branch 'master' of git.onelab.eu:/git/nodeconfig
[nodeconfig.git] / PlanetLabConf / delete-rpm-list-production