comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 6284:e952911afd2f

made mx help command accept abbreviations
author Doug Simon <doug.simon@oracle.com>
date Thu, 23 Aug 2012 15:43:40 +0200
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
6283:076c5635774d 6284:e952911afd2f