Mercurial > cpdt > repo

diff .hgignore @ 4:f913d32a49e4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Intro
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 16:41:49 -0400
parents 9fea5674367c
children ea400f692b07
line wrap: on
line diff
--- a/.hgignore	Fri Aug 29 14:24:38 2008 -0400
+++ b/.hgignore	Fri Aug 29 16:41:49 2008 -0400
@@ -11,3 +11,5 @@
 */cpdt.*
 */*.log
 
+book/html/coqdoc.css
+book/html/*.html