diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 17:21:10 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 17:21:10 +0100 |
| commit | 705be7b3ad45212629d6c60476afd3e2a405e52b (patch) | |
| tree | 5a1f2a0b06728c257da7aa30051efec98be50aee /python/runner/main.py | |
| parent | b0033953c1f7677a30471692d93d2e669b0aeecc (diff) | |
Destroy the pengine before creating a new one
Diffstat (limited to 'python/runner/main.py')
0 files changed, 0 insertions, 0 deletions