summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-01-18 18:23:58 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-01-18 18:34:05 +0100
commit77a728fa40e6df6bcc47de4c9541bae8a31ab828 (patch)
tree6c21de6fac2b594e6a79a967cee090b87c3812e1 /.gitignore
parent101fcfc37a5f99cf5add7fd2f9e13c2e65c4b27a (diff)
Update .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore12
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ca28708..c4cd0b9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,14 @@
+# python stuff
__pycache__/
prolog/parsetab.py
+
+# latex stuff
+*.aux
+*.log
+*.pdf
+
+# data stuff
+/data*
+*.pickle
+*.tab
+*.ods \ No newline at end of file