diff options
| author | lonkaars <loek@pipeframe.xyz> | 2022-02-07 16:13:49 +0100 |
|---|---|---|
| committer | lonkaars <loek@pipeframe.xyz> | 2022-02-07 16:13:49 +0100 |
| commit | e65fa2da8275f9d21a20b88e5a5cb21d8ce366d5 (patch) | |
| tree | c5160b3648d7a7b68be8142ff0eda3433d2463b5 | |
| parent | dc9c9df0e5def4db4d573b6f49e05eb73f74c6ac (diff) | |
added synctex.gz to gitignore-tex
| -rw-r--r-- | gitignore-tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gitignore-tex b/gitignore-tex index 49a2fc2..6fa6509 100644 --- a/gitignore-tex +++ b/gitignore-tex @@ -8,3 +8,4 @@ *.log *.out *.run.xml +*.synctex.gz |