summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-14 08:59:46 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-14 08:59:46 +0100
commit2c257cd25496277659f98410cfdfda1f1a5ca57a (patch)
treec0bf7157f6c7d6abcb55eb631c3dc86887567cc7 /.gitignore
parent39dda4c1ad8bae96754b48b8ac14f3e21594f23c (diff)
Prolog: minor tweaks
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions