diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-06-07 17:01:33 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-06-08 13:07:21 +0200 |
| commit | 385d9f2f23057bc5808b5e013e77ba16d1c94da4 (patch) | |
| tree | ed9e6aa988b1f05c84883c3e0f8914b7d00946a3 /.gitignore | |
| parent | 35f3ed061f10a25a3fb28bc988fddbb976344c4d (diff) | |
edsp: optionally store a compressed copy of the last scenario
For bugreports and co it could be handy to have the scenario and all the
settings used in it around later for inspection for EDSP like protocols.
EDSP might not be the most interesting as the user can still interrupt
the process before the solution is applied and users tend to have an
opinion on the "rightness" of a solution, so it is disabled by default.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions