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)
commit9202114b78ccf2a40eb5e6adff873cf2af2b5dc9
tree4a14f2cd1573f587a740b9176bb0cbe4c6ef3d1b
parent0a5a249cd30fa37da1b96641baa10b4989fb28fc
persistent options must not have defaults
system/TestMain.py