diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-26 19:21:45 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-26 19:21:45 +0200 |
| commit | 11872a9610b03f80442e0ee3e6d5041dc72c7812 (patch) | |
| tree | f87d1582356784156b20a0bddd22c0c907fdfe96 /scripts/export_problems.py | |
| parent | 5821c5a0a3f59e1de66465ebf3b1158eec47ca4e (diff) | |
Use /destroy_all to abort and destroy pengines
Poorly documented, but works better than abort & destroy.
Diffstat (limited to 'scripts/export_problems.py')
0 files changed, 0 insertions, 0 deletions