diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 21676:90bccd2369d9

Add the tools API to truffle.jar, and make tools 1.7 compatible.
author Chris Seaton <chris.seaton@oracle.com>
date Wed, 03 Jun 2015 00:06:05 +0100
parents 3417a9177425
children
line wrap: on
line diff