[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)
commit5f523b92fc16d1257ffe85328a0cfdbdbd5f5466
tree495f7d5abafe74679c4ea03d0b3efc90cdfb102d
parentc6676b0ff882733f0cbfea92cdf96cf1be6f5858
[man] Cleanup mentions of monocov in mono.1 (#5446)

Coverage support was added to the log profiler in a5ab6c642e38cbb60cf0c4f63007652ebf567060
and the monocov profiler was removed with 16570265149730ec6a4760cc0fa34decc1a9d981.
man/mono.1