summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-01-09 18:07:23 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-01-09 18:07:23 +0100
commit27d4458613a5b61f16ad9bf59ca1de460fea3b3a (patch)
tree1bc98d9672af405d71c915436b0af8001d276ec5 /.gitignore
First commit is the best commit
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..ca28708
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+__pycache__/
+prolog/parsetab.py