Merge pull request #903 from nico/gcov
authorNico Weber <nicolasweber@gmx.de>
Wed, 21 Jan 2015 01:40:34 +0000 (17:40 -0800)
committerNico Weber <nicolasweber@gmx.de>
Wed, 21 Jan 2015 01:40:34 +0000 (17:40 -0800)
Document how to run gcov on ninja.


Trivial merge