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)
Removed coverage reporting on pull requests


Trivial merge