diff --git a/.gitignore b/.gitignore index e41b753..5b1a9ef 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,11 @@ *.user *.userosscache *.sln.docstates +*.tex +*.aux +*.log +*.out +*.pdf # User-specific files: Tex-related *.aux