Added gitignore

abecciu · Mar 26, 2010 · 6d26f3f · 6d26f3f
1 parent f1636e5
commit 6d26f3f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,2 @@
+*.beam
+current_counterexample.eqc