diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-07-15 15:07:22 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-07-15 15:07:22 +0200 |
| commit | d1287f85ce6cca7cd8b63bd5fe0d191e93b8a983 (patch) | |
| tree | 2ef2f77ca10a7040b4562a19f77c7a771580e839 /server/hints.py | |
| parent | 425ef3c908a0336d69f1ac406f9090c3c4041b41 (diff) | |
Fix prolog runner for SWI-Prolog ≥ 7.3.22
Diffstat (limited to 'server/hints.py')
0 files changed, 0 insertions, 0 deletions