diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 3654:4123781869da

More handles, fixed broken cast.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 17 Nov 2011 00:28:31 +0100
parents 694c38d4b6d8
children
line wrap: on
line diff