diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 8646:1b090d7f832d

Allow building using a jdk that does not contain man
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 05 Apr 2013 14:24:02 +0200
parents 694c38d4b6d8
children
line wrap: on
line diff