persistent options must not have defaults
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 21 Sep 2008 05:50:22 +0000 (05:50 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 21 Sep 2008 05:50:22 +0000 (05:50 +0000)
commit761a845fe621c5d531c7e74cac6eb40432a31315
treedf3fb913179a3758260699224f4febde5d832757
parenta40c380ecceb142dd3c8aaba16948a46b111cb10
persistent options must not have defaults
system/TestMain.py