summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGard Spreemann <gspreemann@gmail.com>2019-01-25 11:37:59 +0100
committerGard Spreemann <gspreemann@gmail.com>2019-01-25 11:37:59 +0100
commit3a5e53720d7c648f98fdfb8bbb8091cb7f17d869 (patch)
tree98a2d97075861094f4c9fcea244222ce2649198c /.gitignore
parent8c5a101a2009a9f5f1e3976f51f23e0f7da109aa (diff)
parent539bc84f39ffaff04c99b7d10aac60275588dc79 (diff)
Merge tag 'v2.1.3' into debian/sid
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2c5a2d5..2f1a07c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+scripts/*.pyc
tex/sample/Output
tex/sample/sample.pdf
*.synctex.gz