comparison 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
comparison
equal deleted inserted replaced
10679:fa86a653bc0d 10680:0c570e82cc1d