diff --git a/.gitignore b/.gitignore index 2843e72..558df04 100644 --- a/.gitignore +++ b/.gitignore @@ -1,19 +1,18 @@ -*-stamp +*~ +auto/ *.aux *.bbl *.blg *.log +main.pdf *.mk *.nav +notes.config *.out *.pdfpc +_region_.* *.snm +*-stamp *.tmp *.toc *.vrb -*_FAILED -*_NEED_REBUILD -_region_.* -auto/ -notes.config -.directory