comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5711:4d7175cf3526

enabled Eclipse/JDT javadoc checking and fixed resulting warnings
author Doug Simon <doug.simon@oracle.com>
date Thu, 28 Jun 2012 11:11:12 +0200
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
5710:8d31a849ca97 5711:4d7175cf3526