diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-12 15:46:34 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-12 15:46:34 -0800 |
| commit | f7a628b81b78d6973dd84ccb17c0ca08ad747401 (patch) | |
| tree | 8b765dcf6543d1cb6ecc8b47ea282b5c7d8913e0 /doc | |
| parent | ec8430327c7c5e85cbe229267f6ddb8a551e972f (diff) | |
minor, System.exit upon run description parse errors
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions