build the remove-xmlrcp branch on f22 23 24 25
[infrastructure.git] / gitweb-obsolete / planet-lab.sed
2015-12-17 Thierry Parmentelatrenamed