comparison hotspot/.settings/org.eclipse.cdt.ui.prefs @ 9585:404eb9b2c511

use os.name property to identify Windows OS
author twisti
date Mon, 06 May 2013 16:52:12 -0700
parents 694c38d4b6d8
children
comparison
equal deleted inserted replaced
9584:4172233f32fd 9585:404eb9b2c511