projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bf8cc86 7ce175b)
Merge pull request #5352 from urisimchoni/fix-logprof-manpage
authorAlex Rønne Petersen <alex@alexrp.com>
Fri, 11 Aug 2017 14:34:50 +0000 (16:34 +0200)
committerGitHub <noreply@github.com>
Fri, 11 Aug 2017 14:34:50 +0000 (16:34 +0200)
[docs] fixes to log profiler manpage


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono