view mx.truffle/eclipse-settings/org.eclipse.jdt.core.prefs @ 22395:7a147c6abace

SourceSection: add position/length out of range tests
author Andreas Woess <andreas.woess@oracle.com>
date Thu, 19 Nov 2015 15:59:41 +0100
parents 226ce74876b0
children
line wrap: on
line source

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