Mercurial > cpdt > repo

diff .hgignore @ 3:9fea5674367c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pretty LaTeX generation
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 14:24:38 -0400
parents b3f7de74d38f
children f913d32a49e4
line wrap: on
line diff
--- a/.hgignore	Fri Aug 29 13:42:37 2008 -0400
+++ b/.hgignore	Fri Aug 29 14:24:38 2008 -0400
@@ -6,3 +6,8 @@
 *.vo
 */Makefile.coq
 */.coq_globals
+
+*/coqdoc.sty
+*/cpdt.*
+*/*.log
+