view .hgignore @ 0:433ef87f6057

Syllabus prose
author Adam Chlipala <adamc@hcoop.net>
date Wed, 20 Aug 2008 10:14:55 -0400
parents
children b3f7de74d38f
line wrap: on
line source
syntax: glob

*~

*.depend
*.vo
*/Makefile.coq