diff GRAAL_AUTHORS @ 12683:5c5b02a165d4

moved a number of options to be declared closer to usage and cached some heavily accessed options in fields
author Doug Simon <doug.simon@oracle.com>
date Tue, 05 Nov 2013 19:03:37 +0100
parents e4019a78c938
children
line wrap: on
line diff