diff .hgignore @ 378:168667cdaa95

Proper configuration and installation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 12:47:10 -0400
parents 71bafe66dbe1
children 758304561b60
line wrap: on
line diff
--- a/.hgignore	Sun Oct 19 12:12:59 2008 -0400
+++ b/.hgignore	Sun Oct 19 12:47:10 2008 -0400
@@ -12,3 +12,12 @@
 *.lex.*
 *.grm.*
 *.o
+
+Makefile
+src/config.sml
+
+*.exe
+
+*.cache
+*.log
+*.status