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 bc4c7289..a9860470 100644
--- a/.hgignore
+++ b/.hgignore
@@ -15,6 +15,7 @@ lib/bip*
docs/
src/ext/
+src/ext2/
src/xxx/
src/aig/au/
src/aig/ssm/