From 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Jul 2008 14:02:54 -0400 Subject: Writing HTML --- .hgignore | 1 + 1 file changed, 1 insertion(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index deca79d3..e4fdd97e 100644 --- a/.hgignore +++ b/.hgignore @@ -11,3 +11,4 @@ src/lacweb.mlb *.lex.* *.grm.* +*.o -- cgit v1.2.3