Mercurial > hg > truffle
view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 21084:814bd3dbc615
Manage null value manually to work around bug in older JDK versions
author | Christian Wimmer <christian.wimmer@oracle.com> |
---|---|
date | Wed, 22 Apr 2015 16:18:37 -0700 |
parents | f11d3d5248b5 |
children |