comparison mx.truffle/eclipse-settings/org.eclipse.jdt.ui.prefs @ 22011:95d5d6a93968

add more truffle boundaries
author Andreas Woess <andreas.woess@oracle.com>
date Thu, 23 Jul 2015 17:23:05 +0200
parents e61e89bd867a
children
comparison
equal deleted inserted replaced
22010:f410818cdec8 22011:95d5d6a93968