diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -10,4 +10,6 @@ auto/ *.pdf *.run.xml *.toc -*~
\ No newline at end of file +*~ +_region_.tex +prv_*.fmt
\ No newline at end of file |
