1 files changed, 2 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index ab9d0f88..f56e5932 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,6 +12,8 @@ src/urweb.mlb
 *.lex.*
 *.grm.*
 *.o
+*.do
+*.so.*
 
 src/config.sml