summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-23 17:47:38 +0200
committerErich Eckner <git@eckner.net>2018-06-23 17:47:38 +0200
commit83d120a88ca5dd5a0c4679a2b6f6ea7391b0a8a7 (patch)
tree105ef702ef3e1619dc6da17e8f2fb937e4e2ce64 /.gitignore
downloadpolyeder-83d120a88ca5dd5a0c4679a2b6f6ea7391b0a8a7.tar.xz
statisch ok
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..f2bf0b9
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+*.mps
+*.pdf