add option -m for setting memory
[infrastructure.git] / logos / logo_inria.jpg
logos/logo_inria.jpg