Merge remote-tracking branch 'origin/master'
diff --git a/.gitignore b/.gitignore index e2ed0e2..0767899 100644 --- a/.gitignore +++ b/.gitignore
@@ -2,3 +2,4 @@ aig* test-aig* vz* +*.iml
