comparison .hgignore @ 22:91e247c68ee8

Template generation
author Adam Chlipala <adamc@hcoop.net>
date Fri, 05 Sep 2008 16:46:32 -0400
parents ea400f692b07
children fd18331e5c0b
comparison
equal deleted inserted replaced
21:00366a62bd00 22:91e247c68ee8
11 */cpdt.* 11 */cpdt.*
12 */*.log 12 */*.log
13 13
14 html/coqdoc.css 14 html/coqdoc.css
15 html/*.html 15 html/*.html
16
17 templates/*.v