summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-08 17:28:57 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-08 17:28:57 +0200
commit44f6a23f2ae75d9fb0d8de4f992267875a03a2a0 (patch)
tree8e05621aa9e758ed5a60f468dcc6a418f7af8f54 /.gitignore
parentddf271d3070d998e901c6fa3e21464602c9b6359 (diff)
Prolog: allow custom inference limit in check_answers
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions