diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 11:37:59 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 11:37:59 +0100 |
commit | 3a5e53720d7c648f98fdfb8bbb8091cb7f17d869 (patch) | |
tree | 98a2d97075861094f4c9fcea244222ce2649198c /.gitignore | |
parent | 8c5a101a2009a9f5f1e3976f51f23e0f7da109aa (diff) | |
parent | 539bc84f39ffaff04c99b7d10aac60275588dc79 (diff) |
Merge tag 'v2.1.3' into debian/sid
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +scripts/*.pyc
tex/sample/Output
tex/sample/sample.pdf
*.synctex.gz
|