diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-04 14:53:45 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-04 14:53:45 +0100 |
| commit | 08519a9884977b5a52bcac85ab24ff04f5988528 (patch) | |
| tree | b70edd80335e0cb5b9e3279a4fd28ddfadc3c675 /scripts/export_problems.py | |
| parent | 1b69c74db2aba839354a5c8000d1ac86b46a7b8c (diff) | |
Use correct type for prolog_solve action
Diffstat (limited to 'scripts/export_problems.py')
0 files changed, 0 insertions, 0 deletions