harmonize names for devel-rpms - was confusing - now has LOCAL-DEVEL-RPMS and STOCK...
[build.git] / config.onelab / sliceimage-omf.pkgs
1 ../config.planetlab/sliceimage-omf.pkgs