add option -m for setting memory
[infrastructure.git] / scripts / manage-infra-obso.py
2011-10-13 Thierry Parmentelatrename obsolete - use LocalTestResources in the test...