projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 200dff9 d417b6d)
Merge pull request #4168 from xmcclure/aot-man
authorAndi McClure <andi.mcclure@xamarin.com>
Tue, 28 Mar 2017 18:14:08 +0000 (14:14 -0400)
committerGitHub <noreply@github.com>
Tue, 28 Mar 2017 18:14:08 +0000 (14:14 -0400)
Correctly document --aot options in man page


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