hotspot/.mx.jvmci/eclipse-settings/org.eclipse.jdt.core.prefs
author duke
Wed, 05 Jul 2017 21:19:09 +0200
changeset 35731 13ef8ddb4fe0
parent 34505 90f4fd15d739
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34505
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     1
org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=disabled