diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-10-21 20:37:27 +0200 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-10-21 20:37:27 +0200 |
| commit | 673d971de175a4895b7f010b738294d3a40dc0d7 (patch) | |
| tree | f1f2f605381ca6e1fdb98e00e663654924eac1ea /testsuite/sources/steps/Comfignat_default_goal | |
| parent | c2e343aede23579a76c02469e5594410928ee563 (diff) | |
minor clarification
Diffstat (limited to 'testsuite/sources/steps/Comfignat_default_goal')
0 files changed, 0 insertions, 0 deletions