projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7e97fdf 375a9e9)
Merge pull request #1888 from joelmartinez/mdoc-flagsbug
authorJonathan Pryor <jonpryor@vt.edu>
Thu, 9 Jul 2015 16:26:26 +0000 (12:26 -0400)
committerJonathan Pryor <jonpryor@vt.edu>
Thu, 9 Jul 2015 16:26:26 +0000 (12:26 -0400)
[mdoc] Adds custom formatting for the `ObjCRuntime.Platform` enum.


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