diff mx/.pydevproject @ 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 527724d26036
children
line wrap: on
line diff