comparison .hgignore @ 310:cf67b7d6ceac

Fix .hgignore and check in .bib
author Adam Chlipala <adam@chlipala.net>
date Mon, 29 Aug 2011 09:47:39 -0400
parents 7b38729be069
children 4cb3ba8604bc
comparison
equal deleted inserted replaced
309:8cb9e31f86e7 310:cf67b7d6ceac
6 *.vo 6 *.vo
7 Makefile.coq 7 Makefile.coq
8 .coq_globals 8 .coq_globals
9 9
10 */coqdoc.sty 10 */coqdoc.sty
11 */cpdt.*
12 */*.log 11 */*.log
13 12
14 html/coqdoc.css 13 html/coqdoc.css
15 html/*.html 14 html/*.html
16 15
25 *.aux 24 *.aux
26 *.dvi 25 *.dvi
27 *.log 26 *.log
28 *.tex 27 *.tex
29 *.toc 28 *.toc
29 *.bbl
30 *.blg
31 *.idx
32 *.ilg
33 *.pdf
34 *.ind
35 *.out