[man] Cleanup mentions of monocov in mono.1 (#5446)
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 25 Aug 2017 12:36:44 +0000 (14:36 +0200)
committerGitHub <noreply@github.com>
Fri, 25 Aug 2017 12:36:44 +0000 (14:36 +0200)
Coverage support was added to the log profiler in a5ab6c642e38cbb60cf0c4f63007652ebf567060
and the monocov profiler was removed with 16570265149730ec6a4760cc0fa34decc1a9d981.


No differences found