diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-08-09 18:09:43 +0200 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-08-09 18:09:43 +0200 |
| commit | 0f9240b1530bcefc97276de99f2d57885be4bc9f (patch) | |
| tree | 889fdaa7c927db8f30982768a3d39a088132e732 /.gitignore | |
| parent | c596fcf0dd3c1c43540b54089feb78b245bd4cd1 (diff) | |
.gitignore: Update list of ignored files
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -3,3 +3,15 @@ *.log *.ps *.toc +*.4ct +*.4tc +*.css +*.dvi +*.html +*.idv +*.lg +*.pdf +*.tmp +*.xref +*.png +*.pdf |