summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-29 20:25:33 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-29 20:25:33 +0200
commit0a62b3641652e6c737f4b0d3ec12a01850dbcc02 (patch)
tree49c5283e9834034de1a5c4b61820e3a10e732a91 /.gitignore
parent3d74bc064250d58991d36063da4ffe603599af30 (diff)
Prolog: add triggers for pivoting/4 hints
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions