diff options
| -rw-r--r-- | TeX.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/TeX.gitignore b/TeX.gitignore index a0322dbd..b6418e51 100644 --- a/TeX.gitignore +++ b/TeX.gitignore @@ -13,6 +13,7 @@ ## Intermediate documents: *.dvi +*.xdv *-converted-to.* # these rules might exclude image files for figures etc. # *.ps |