From 834b3a5799b14cc722dfca9205c4b37e2faedce4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 27 Dec 2009 13:18:32 -0500
Subject: Dynamic linking of the runtime system

---
 .hgignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.hgignore')

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
 
-- 
cgit v1.2.3