comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18685:18d0f83cd290

Add code missing in initial value handling for options
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 15 Dec 2014 13:01:47 -0800
parents 3417a9177425
children
comparison
equal deleted inserted replaced
18684:137773e5250c 18685:18d0f83cd290