diff options
author | Romain Porte <microjoe@microjoe.org> | 2018-02-09 13:32:31 +0100 |
---|---|---|
committer | Romain Porte <microjoe@microjoe.org> | 2018-02-09 13:32:31 +0100 |
commit | 1e1d9ab154d06deb1231a15db27f3b8ea3576a03 (patch) | |
tree | 72cf6b947e7436d08a468c1954297e3f5adbcbde /.gitignore | |
parent | 97b4f906678898ff1597126b6702d668c5da02f8 (diff) | |
download | latex-makefile-1e1d9ab154d06deb1231a15db27f3b8ea3576a03.tar.gz latex-makefile-1e1d9ab154d06deb1231a15db27f3b8ea3576a03.zip |
Live compilation support
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -12,3 +12,6 @@ *.out *.toc *.xdy +*.tns +*.pdf +*.dvi |