harmonize names for devel-rpms - was confusing - now has LOCAL-DEVEL-RPMS and STOCK...
[build.git] / config.onelab / onelab.mirrors
1 #
2 # use the local mirror only
3 # see http://svn.planet-lab.org/wiki/VserverCentos for howto setup localhost mirroring
4 mirror: http://mirror.onelab.eu/