diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 17005:112ab4a3de3a

Truffle: added Graal runtime API to wait for the completion of a compilation.
author Christian Humer <christian.humer@gmail.com>
date Mon, 01 Sep 2014 20:08:18 +0200
parents e3491381c424
children 7e2c87dae93e
line wrap: on
line diff