From: Andi McClure <andi.mcclure@xamarin.com>
Date: Tue, 28 Mar 2017 18:14:08 +0000 (-0400)
Subject: Merge pull request #4168 from xmcclure/aot-man
X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=commitdiff_plain;h=897ecfd59c21eed6d0a7929721ea88442316f1fa;hp=-c;p=mono.git

Merge pull request #4168 from xmcclure/aot-man

Correctly document --aot options in man page
---

897ecfd59c21eed6d0a7929721ea88442316f1fa