comparison .hgignore @ 208:b9e9ff52913c

Port InductiveTypes
author Adam Chlipala <adamc@hcoop.net>
date Mon, 09 Nov 2009 11:09:50 -0500
parents cbf2f74a5130
children 7b38729be069
comparison
equal deleted inserted replaced
207:a7be5d9a2fd4 208:b9e9ff52913c
19 staging/html/.dir 19 staging/html/.dir
20 cpdt.tgz 20 cpdt.tgz
21 21
22 *.glob 22 *.glob
23 *.v.d 23 *.v.d
24
25 *.aux
26 *.dvi
27 *.log