summaryrefslogtreecommitdiff
path: root/scripts/systemd/codeq-server.service
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 /scripts/systemd/codeq-server.service
parentddf271d3070d998e901c6fa3e21464602c9b6359 (diff)
Prolog: allow custom inference limit in check_answers
Diffstat (limited to 'scripts/systemd/codeq-server.service')
0 files changed, 0 insertions, 0 deletions