aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index cc64005..e4e276f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,3 +16,4 @@ buch*.pdf
*.DS_Store
+*.synctex(busy)