Merge branch 'master' of ssh://git.onelab.eu/git/nodeconfig
[nodeconfig.git] / PlanetLabConf / extensions.php
2009-07-23 Barış Metinreturn node extensions.