diff mx.truffle/eclipse-settings/org.eclipse.jdt.ui.prefs @ 22096:1e78795e7e6a

Allow to specify globalSymbols when defining TruffleVM
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Tue, 18 Aug 2015 16:10:03 +0200
parents e61e89bd867a
children
line wrap: on
line diff