diff options
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 11 |
1 files changed, 1 insertions, 10 deletions
@@ -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 |