Mercurial > cpdt > repo

annotate .hgignore @ 510:fd6ec9b2dccb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished last pass through the book before beginning the MIT Press editorial process
author Adam Chlipala <adam@chlipala.net>
date Wed, 13 Feb 2013 10:22:18 -0500
parents 549d604c3d16
children 136d4b84eb96
rev   line source
adamc@0 1 syntax: glob
adamc@0 2
adamc@0 3 *~
adamc@0 4
adamc@0 5 *.depend
adamc@0 6 *.vo
adamc@13 7 Makefile.coq
adamc@13 8 .coq_globals
adamc@3 9
adamc@3 10 */coqdoc.sty
adamc@3 11 */*.log
adamc@3 12
adamc@13 13 html/coqdoc.css
adamc@13 14 html/*.html
adamc@22 15
adamc@22 16 templates/*.v
adamc@39 17
adamc@39 18 staging/html/.dir
adamc@39 19 cpdt.tgz
adamc@204 20
adamc@204 21 *.glob
adamc@204 22 *.v.d
adamc@208 23
adamc@208 24 *.aux
adamc@208 25 *.dvi
adamc@208 26 *.log
adam@311 27 *.v.tex
adam@370 28 exercises.tex
adam@302 29 *.toc
adam@310 30 *.bbl
adam@310 31 *.blg
adam@310 32 *.idx
adam@310 33 *.ilg
adam@310 34 *.pdf
adam@310 35 *.ind
adam@310 36 *.out