view mx.truffle/eclipse-settings/org.eclipse.jdt.core.prefs @ 22437:0ca502f898ec

Merge
author Matthias Grimmer <grimmer@ssw.jku.at>
date Fri, 04 Dec 2015 11:33:08 +0100
parents 226ce74876b0
children
line wrap: on
line source

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