diff options
| author | lonkaars <loek@pipeframe.xyz> | 2023-05-21 20:39:29 +0200 |
|---|---|---|
| committer | lonkaars <loek@pipeframe.xyz> | 2023-05-21 20:39:29 +0200 |
| commit | a19fefd2653ae2335828f8f5fe0e33f0fcd499fe (patch) | |
| tree | 7ac10bc0d3efda35a483dc69e6244bdcf96a39b8 | |
| parent | 9b6401ae25d8248925ff3751f086b243840df3b0 (diff) | |
more tex gitignore
| -rw-r--r-- | gitignore-tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gitignore-tex b/gitignore-tex index 974c33a..1530bf7 100644 --- a/gitignore-tex +++ b/gitignore-tex @@ -10,3 +10,6 @@ *.run.xml *.synctex.gz *.toc +*.synctex(busy) +*.lof +*.lot |