gitignore
This commit is contained in:
parent
80403e1531
commit
11eae75335
|
@ -1,2 +1,4 @@
|
|||
|
||||
main\.glsdefs
|
||||
|
||||
main\.synctex\.gz\(busy\)
|
||||
|
|
Loading…
Reference in New Issue