Merge pull request #343 from Aaron1011/pull_coverage
authorJoshua Roesslein <jroesslein@gmail.com>
Mon, 19 Aug 2013 19:33:40 +0000 (12:33 -0700)
committerJoshua Roesslein <jroesslein@gmail.com>
Mon, 19 Aug 2013 19:33:40 +0000 (12:33 -0700)
commit9b83aaea90726bebfc35b63e1d543439ab1a03b8
treec11cff48906831040ed23e6c848228801195ac35
parent5fab5a4973365d630090a8c785c9fd5d91ff60a9
parentf30bf332301c6cd87f0d725fc82572f49990eb37
Merge pull request #343 from Aaron1011/pull_coverage

Removed coverage reporting on pull requests