diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 4491:35569a1b4f62

More clean up around editor top component.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 01 Feb 2012 16:59:26 +0100
parents 694c38d4b6d8
children
line wrap: on
line diff