projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7669c81 9f5b8c4)
Merge pull request #4020 from akoeplinger/mobile_static-rename
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 25 Nov 2016 11:03:35 +0000 (12:03 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Nov 2016 11:03:35 +0000 (12:03 +0100)
Rename the mobile_static profile to aot_only


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