diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-08 15:17:41 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-08 15:17:41 +0200 |
commit | b35f019d0bf65ff3c096b354ef5ad19cc83faba7 (patch) | |
tree | afa4f7091dc00d450550d2487fb61f274c44a969 /python/runner/sandbox.c | |
parent | 8aa81e8599eb59532cafc5432b99a8fb39e303bb (diff) |
Revert "Experiment: prolog_hints"
This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615.
Diffstat (limited to 'python/runner/sandbox.c')
0 files changed, 0 insertions, 0 deletions