summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-04 14:53:45 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-04 14:53:45 +0100
commit08519a9884977b5a52bcac85ab24ff04f5988528 (patch)
treeb70edd80335e0cb5b9e3279a4fd28ddfadc3c675 /scripts
parent1b69c74db2aba839354a5c8000d1ac86b46a7b8c (diff)
Use correct type for prolog_solve action
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions