Add coverage/ to .gitignore
Branch------master
Details-------http://git.postgresql.org/pg/commitdiff/a87416db3b3d76d3b7095c23b08e1899ec2b203d
Modified Files--------------.gitignore | 1 +1 file changed, 1 insertion(+)