Yelp/pushmanager — pull request #40 by milki (2013-10-07 22:14:49+00:00)
Title: Update gitignore for coverage

We don't need these files produced by `make coverage`.