summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
Diffstat (limited to '.hgignore')
-rw-r--r--.hgignore9
1 files changed, 9 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index a4684089..f651c3c3 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,3 +12,12 @@ src/urweb.mlb
*.lex.*
*.grm.*
*.o
+
+Makefile
+src/config.sml
+
+*.exe
+
+*.cache
+*.log
+*.status