diff .hgignore @ 1095:bed675db3aff

Dynamic linking of the runtime system
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 13:18:32 -0500
parents 5e8b6fa5b48f
children 67d875c8ac71
line wrap: on
line diff
--- a/.hgignore	Sun Dec 27 10:37:24 2009 -0500
+++ b/.hgignore	Sun Dec 27 13:18:32 2009 -0500
@@ -12,6 +12,8 @@
 *.lex.*
 *.grm.*
 *.o
+*.do
+*.so.*
 
 src/config.sml