Add coverage/ to .gitignore
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 10 Jul 2013 01:12:17 +0000 (21:12 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 10 Jul 2013 01:12:17 +0000 (21:12 -0400)
commita87416db3b3d76d3b7095c23b08e1899ec2b203d
tree16cb6b8104fedea8dc449c100f86b0c83dd4b28d
parent8dead08c54826e5927bf7a07caa94a86e6981aa0
Add coverage/ to .gitignore
.gitignore