projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1e752b1 f2bd0dd)
Merge pull request #2040 from esdrubal/monoman
authorAlex Rønne Petersen <alex@alexrp.com>
Fri, 11 Sep 2015 14:49:24 +0000 (16:49 +0200)
committerAlex Rønne Petersen <alex@alexrp.com>
Fri, 11 Sep 2015 14:49:24 +0000 (16:49 +0200)
Added missing MONO_DEBUG options.


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