annotate mx.jvmci/eclipse-settings/org.eclipse.jdt.core.prefs @ 23974:f13e777eb255

Merge with jdk8u111-b14
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Wed, 16 Nov 2016 12:32:54 -0800
parents 952d4d634a42
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22532
952d4d634a42 added org.eclipse.jdt.core.prefs
Doug Simon <doug.simon@oracle.com>
parents:
diff changeset
1 org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=disabled