Add to .gitignore

shikijs · Apr 9, 2020 · 83c56c0 · 83c56c0
1 parent baa3c84
commit 83c56c0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/assets/.gitignore b/assets/.gitignore
@@ -4,5 +4,6 @@ _minted-*
 *.fls
 *.log
 *.pdf
+*.synctex(busy)
 *.synctex.gz
 *.pyg