diff options
author | Erich Eckner <git@eckner.net> | 2018-06-23 21:48:09 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-23 21:48:09 +0200 |
commit | cf98cf2f6dd312687c649bda6484ca1cb9ba0f65 (patch) | |
tree | 2f62a7a6f688d5b456f9d958ec45e0dc2f7f14cd /.gitignore | |
parent | 83d120a88ca5dd5a0c4679a2b6f6ea7391b0a8a7 (diff) | |
download | polyeder-master.tar.xz |
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,2 +1,4 @@ *.mps *.pdf +*.bmp +*.gif |