summaryrefslogtreecommitdiffstats
path: root/.hgignore
diff options
context:
space:
mode:
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index a917c9fa..8f38ea9b 100644
--- a/.hgignore
+++ b/.hgignore
@@ -19,6 +19,7 @@ src/aig/ssm/
src/aig/ddb/
src/base/abc2/
+src/base/abc2d/
*~
*.orig