diff graal/com.oracle.truffle.api/src/com/oracle/truffle/api/TruffleOptions.java @ 10680:0c570e82cc1d

Truffle: minor cleanup
author Andreas Woess <andreas.woess@jku.at>
date Tue, 09 Jul 2013 21:03:29 +0200
parents 9db1377b0580
children a0309f88306c
line wrap: on
line diff