comparison mx.truffle/eclipse-settings/org.eclipse.jdt.ui.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
comparison
equal deleted inserted replaced
21973:44aba5c09592 21974:9515f0ac356a