summaryrefslogtreecommitdiffstats
path: root/.hgignore
diff options
context:
space:
mode:
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore2
1 files changed, 0 insertions, 2 deletions
diff --git a/.hgignore b/.hgignore
index b67058d3..bc49245a 100644
--- a/.hgignore
+++ b/.hgignore
@@ -18,8 +18,6 @@ src/aig/au/
src/aig/ssm/
src/aig/ddb/
-src/map/if/ifDec.c
-
*~
*.orig
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-09 10:45:08 +0000