diff options
| author | Björn Persson <Bjorn@Rombobjörn.se> | 2014-02-23 15:26:27 +0100 |
|---|---|---|
| committer | Björn Persson <Bjorn@Rombobjörn.se> | 2014-02-23 15:26:27 +0100 |
| commit | b9d89b95bbb1a89842cd9a285390a265157c6779 (patch) | |
| tree | e86541319092824871a8da833e68194ea594b0f1 /testsuite/sources/steps/Comfignat_default_goal | |
| parent | a0143d6c228c01a355687b0a821847defb1ba9e6 (diff) | |
Improved the error when an option is undefined.
Diffstat (limited to 'testsuite/sources/steps/Comfignat_default_goal')
0 files changed, 0 insertions, 0 deletions