Mercurial > urweb

diff .hgignore @ 1592:1c9f8f06c1d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Support the full set of XHTML character entities
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 15:05:13 -0400
parents 1ced338f691a
children 705cb41ac7d0
line wrap: on
line diff
--- a/.hgignore	Sat Nov 05 13:12:07 2011 -0400
+++ b/.hgignore	Sat Nov 05 15:05:13 2011 -0400
@@ -48,6 +48,9 @@
 Makefile.coq
 *.vo
 
+xml/parse
+xml/entities.sml
+
 syntax: regexp
 
 ^Makefile$