diff --git a/.gitignore b/.gitignore index d8bfb2cc7..17c8045de 100644 --- a/.gitignore +++ b/.gitignore @@ -16,5 +16,6 @@ build-debug/ *.synctex.gz ceres.pdf ceres-solver.pdf +docs/minted.sty obj/ jni/libs/