diff mx.truffle/eclipse-settings/org.eclipse.jdt.core.prefs @ 21974:9515f0ac356a

Make sure the code compiles with JDK7
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Thu, 25 Jun 2015 09:44:54 +0200
parents e61e89bd867a
children f879b1fe3773
line wrap: on
line diff