Browse Source

Added gitignore

Hans Svensson 15 years ago
parent
commit
6d26f3f42c
1 changed files with 2 additions and 0 deletions
  1. 2 0
      .gitignore

+ 2 - 0
.gitignore

@@ -0,0 +1,2 @@
+*.beam
+current_counterexample.eqc