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 /monkey | |
| parent | 8aa81e8599eb59532cafc5432b99a8fb39e303bb (diff) | |
Revert "Experiment: prolog_hints"
This reverts commit 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615.
Diffstat (limited to 'monkey')
0 files changed, 0 insertions, 0 deletions