comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 9863:b2141bc6e98e

option values are either initialized upon creation or they must provide a lazily initialized value
author Doug Simon <doug.simon@oracle.com>
date Tue, 04 Jun 2013 15:42:42 +0200
parents c6c3515bea8e
children 5814f30f0baf
comparison
equal deleted inserted replaced
9858:538ac2cf3383 9863:b2141bc6e98e