summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-23 16:23:43 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-23 16:23:43 +0100
commitc1bb0d56b2c0482c766d094c65fdf0fd9d1aa0ba (patch)
treeb23a943e337fc81ad3bc898450229c3974f8388c /.gitignore
parent766e2ba30413850ab43842de0aa3e9a80c5e7236 (diff)
Simplify Prolog test function
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions