log mx/commands.py @ 9940:2194b25ff111

age author description
Sat, 08 Jun 2013 00:54:17 +0200 Doug Simon only copy graal.options if it exists
Sat, 08 Jun 2013 00:25:49 +0200 Doug Simon Merge.
Fri, 07 Jun 2013 15:59:09 +0200 Doug Simon added graal.options mechanism for being able to override default option values