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 | |
| parent | e20ca3c2e1f765e622e51b3c06a8a8509e2f19e0 (diff) | |
Ignore synctex files
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ .direnv/ +*.synctex.gz *.aux *.log *.pdf |