diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..871d1de --- /dev/null +++ b/.gitignore @@ -0,0 +1,19 @@ + +# auto-generated +toc.t2t +tentative_list_of_topics.t2t +*.html +*.pdf +*.eps +syllabus*.tex +lecture*_handouts.tex +lecture*_presentation.tex +lecture_names.rem + +# tex temporal files +*.aux +*.log +*.nav +*.out +*.snm +*.toc |