Mercurial > hg > truffle
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 |