CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2006-01-10 21:01:07

Modified files: demos/ppl_lcdd : ppl_lcdd.cc

Log message: Changed again: option --max-memory has now -R (and not -M) as its short counterpart.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif...