diff hotspot/.settings/org.eclipse.core.runtime.prefs @ 9585:404eb9b2c511

use os.name property to identify Windows OS
author twisti
date Mon, 06 May 2013 16:52:12 -0700
parents e53926b0a6cb
children
line wrap: on
line diff