summaryrefslogtreecommitdiffstats
path: root/.hgignore
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-09-06 16:37:02 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-09-06 16:37:02 -0700
commit34fa6addc99048b27d3d9cd4dde715933b97fde1 (patch)
treebc6860522be4bc8389255125ad17301ee5761263 /.hgignore
parent45a948ab21ddb762cb4b957851f1e6d6e2b4022b (diff)
downloadabc-34fa6addc99048b27d3d9cd4dde715933b97fde1.tar.gz
abc-34fa6addc99048b27d3d9cd4dde715933b97fde1.tar.bz2
abc-34fa6addc99048b27d3d9cd4dde715933b97fde1.zip
More tuning in &nf.
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore11
1 files changed, 1 insertions, 10 deletions
diff --git a/.hgignore b/.hgignore
index a9860470..95c7dd87 100644
--- a/.hgignore
+++ b/.hgignore
@@ -14,21 +14,12 @@ lib/m114*
lib/bip*
docs/
-src/ext/
-src/ext2/
+src/ext*
src/xxx/
src/aig/au/
src/aig/ssm/
src/aig/ddb/
-src/base/abc2/
-src/base/abc2d/
-src/base/abc3/
-src/base/abc4/
-
-src/base/pcm/
-src/base/ply/
-
*~
*.orig