diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-23 17:47:38 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-23 17:47:38 +0200 |
| commit | 83d120a88ca5dd5a0c4679a2b6f6ea7391b0a8a7 (patch) | |
| tree | 105ef702ef3e1619dc6da17e8f2fb937e4e2ce64 /.gitignore | |
| download | polyeder-83d120a88ca5dd5a0c4679a2b6f6ea7391b0a8a7.tar.xz | |
statisch ok
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
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 |