aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAada2024-06-18 17:40:29 +0200
committerAada2024-06-18 17:40:29 +0200
commit3c9bbde09487e7cbf99965dd108b413542073fbe (patch)
tree96efbca825d2fa1bc29d30ef83ab257f1559bb31
parente20ca3c2e1f765e622e51b3c06a8a8509e2f19e0 (diff)
Ignore synctex files
Diffstat (limited to '')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0b9497b..cff577e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
.direnv/
+*.synctex.gz
*.aux
*.log
*.pdf