Mercurial > cpdt > repo
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 |