remove files that were accidently added

wies · Dec 6, 2014 · 78e7d09 · 78e7d09
1 parent 991935c
commit 78e7d09
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 1,623 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,7 @@
 _build/
 *.native
 *.smt2
+*.dot
+out
+*.pdf
 *~
diff --git a/model.dot b/model.dot
diff --git a/model.pdf b/model.pdf