diff options
author | Aada | 2024-06-18 17:40:29 +0200 |
---|---|---|
committer | Aada | 2024-06-18 17:40:29 +0200 |
commit | 3c9bbde09487e7cbf99965dd108b413542073fbe (patch) | |
tree | 96efbca825d2fa1bc29d30ef83ab257f1559bb31 /.gitignore | |
parent | e20ca3c2e1f765e622e51b3c06a8a8509e2f19e0 (diff) |
Ignore synctex files
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ .direnv/ +*.synctex.gz *.aux *.log *.pdf |