mirror of
https://github.com/github/gitignore.git
synced 2026-10-30 14:42:41 +01:00
added converted-to-files
This commit is contained in:
1 parent
cd634fb5d9
commit
619a395e1e
1 file changed
+1
@@ -9,6 +9,7 @@
|
|||||||
|
|
||||||
## Intermediate documents:
|
## Intermediate documents:
|
||||||
*.dvi
|
*.dvi
|
||||||
|
*-converted-to.*
|
||||||
# these rules might exclude image files for figures etc.
|
# these rules might exclude image files for figures etc.
|
||||||
# *.ps
|
# *.ps
|
||||||
# *.eps
|
# *.eps
|
||||||
|
|||||||
Reference in new issue
Block a user