Mercurial > urweb

diff .hgignore @ 764:7f653298dd66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 3c77133afd9a
children 5e8b6fa5b48f
line wrap: on
line diff
--- a/.hgignore	Thu Apr 30 16:25:27 2009 -0400
+++ b/.hgignore	Thu Apr 30 17:15:14 2009 -0400
@@ -13,7 +13,6 @@
 *.grm.*
 *.o
 
-./Makefile
 src/config.sml
 
 *.exe
@@ -37,3 +36,8 @@
 .depend
 Makefile.coq
 *.vo
+
+syntax: regexp
+
+^Makefile
+^src/coq/Makefile