diff --git a/paper/.gitignore b/paper/.gitignore index 10f7fc7..1b878e7 100644 --- a/paper/.gitignore +++ b/paper/.gitignore @@ -6,3 +6,4 @@ *.log *.out *.pdf +*.synctex.gz