diff --git a/.gitignore b/.gitignore index 4297af2..e69de29 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +0,0 @@ - -main\.glsdefs - -main\.synctex\.gz\(busy\)