projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fcb9de5 6c1bf0d)
Merge pull request #1273 from joelmartinez/docs-unified-fix
authorMiguel de Icaza <miguel@gnome.org>
Fri, 19 Sep 2014 14:11:01 +0000 (10:11 -0400)
committerMiguel de Icaza <miguel@gnome.org>
Fri, 19 Sep 2014 14:11:01 +0000 (10:11 -0400)
bugfix for mdoc update with --dropns feature


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