view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 17216:959d3e75534a

LabelHints are now collected in ArrayLists instead of HashSet
author Stefan Anzinger <stefan.anzinger@oracle.com>
date Thu, 25 Sep 2014 08:57:51 -0700
parents f11d3d5248b5
children
line wrap: on
line source

eclipse.preferences.version=1
encoding/<project>=UTF-8