diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 15438:34ae63dda6e8

Don't kill FrameState if it still has usages.
author Roland Schatz <roland.schatz@oracle.com>
date Tue, 29 Apr 2014 18:23:17 +0200
parents 694c38d4b6d8
children
line wrap: on
line diff