ignore

dotty-staging · Jun 15, 2019 · 1ee6826 · 1ee6826
1 parent 1cb0676
commit 1ee6826
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -95,3 +95,19 @@ tastydoc/report/report\.synctex\.gz
 tastydoc/report/report\.toc
 
 tastydoc/report/report\.out
+
+tastydoc/report/presentation/presentation\.aux
+
+tastydoc/report/presentation/presentation\.fdb_latexmk
+
+tastydoc/report/presentation/presentation\.fls
+
+tastydoc/report/presentation/presentation\.nav
+
+tastydoc/report/presentation/presentation\.out
+
+tastydoc/report/presentation/presentation\.snm
+
+tastydoc/report/presentation/presentation\.synctex\.gz
+
+tastydoc/report/presentation/presentation\.toc