diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-06-05 22:24:36 +0200 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-06-05 22:24:36 +0200 |
| commit | bc3badc29e638c61f9d3968c4933cc6a921e0b3a (patch) | |
| tree | 8cf0d33830080028608cbef67a83948ea9bed3f6 /testsuite/sources/steps/Comfignat_default_goal | |
| parent | 3e0418ed7a2e6b838183ba6428f59a67ed3e565d (diff) | |
Included options in configuration_variables.
Diffstat (limited to 'testsuite/sources/steps/Comfignat_default_goal')
0 files changed, 0 insertions, 0 deletions