summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 18:05:47 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 18:05:47 +0100
commit547b44c17b058e5605b31fb8b86abf9b2b894608 (patch)
treef21c7f54f2243b6cc49bcc037689aad0941c2ee9 /server
parent9acb5e65c128a3d06567f2142a1bf603780187fc (diff)
monkey.edits: only add solutions to predicates that are actually used when testing
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions