view .hgignore @ 488:e16c20e63d9c build-default-209

Decide that all links for downloading things should get HTML5 download tags. The audio players exist to play things on the page. Everything else is to download the file, really. I think.
author Jim Hague <jim.hague@acm.org>
date Tue, 17 Jun 2014 12:32:15 +0100
parents 7d04c6e5b289
children 86f408696c0b
line wrap: on
line source

syntax: glob

*~
*.ps
*.pdf
*.aux
*.log
*.orig

syntax: regexp
build/
graphics/
web/Morris.*/
web/Session.*/
web/Library.*/
Morris-.*
Session-.*