diff graal/com.oracle.graal.api.runtime/overview.html @ 18683:823f499a247c

Store initial value (the value set in source code) of an option
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 15 Dec 2014 11:32:59 -0800
parents 31aa76ffd3bb
children
line wrap: on
line diff