view mx.truffle/eclipse-settings/org.eclipse.jdt.core.prefs @ 22400:b07854a19ab4

Adding API snapshots as for version truffle-0.9 and enabling their check in the gate
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Fri, 20 Nov 2015 16:41:09 +0100
parents 226ce74876b0
children
line wrap: on
line source

org.eclipse.jdt.core.compiler.problem.invalidJavadoc=ignore