diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 4596:6845b56f7ce0

minor change
author Christian Haeubl <christian.haeubl@oracle.com>
date Tue, 14 Feb 2012 14:01:37 -0800
parents 694c38d4b6d8
children
line wrap: on
line diff