comparison .hgignore @ 1493:9cb923efea4d

Generated pretty-printed HTML for a simple tutorial source file
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 16:50:55 -0400
parents 052af2b82533
children 1ced338f691a
comparison
equal deleted inserted replaced
1492:175b6d52252d 1493:9cb923efea4d
31 demo/demo.* 31 demo/demo.*
32 32
33 demo/more/out/*.html 33 demo/more/out/*.html
34 demo/more/demo.* 34 demo/more/demo.*
35 35
36 doc/*.html
37
36 *.sql 38 *.sql
37 *mlmon.out 39 *mlmon.out
38 40
39 *.aux 41 *.aux
40 *.dvi 42 *.dvi