diff .hgignore @ 1154:b0d632cc9edf

More fixes for NetBSD support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Feb 2010 20:47:23 -0500
parents f6cb1cb2d7a8
children be2ef50780ed
line wrap: on
line diff
--- a/.hgignore	Sat Feb 06 20:13:51 2010 -0500
+++ b/.hgignore	Sat Feb 06 20:47:23 2010 -0500
@@ -16,6 +16,8 @@
 .libs
 *.lo
 *.la
+*.mlton.grm
+*.mlton.lex
 
 src/config.sml