projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a0cb3e1 1bee4aa)
Merge pull request #3800 from madewokherd/mingwbuild
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 27 Oct 2016 10:37:23 +0000 (12:37 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Oct 2016 10:37:23 +0000 (12:37 +0200)
Use lower-case names for Windows headers.


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