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 2c467f92..4aae48af 100644
--- a/.hgignore
+++ b/.hgignore
@@ -15,6 +15,7 @@ docs/
src/ext/
src/xxx/
src/aig/au/
+src/aig/ssm/
*~
*.orig
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-29 21:08:14 +0000