comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 13211:d862cb983214

Relax overly strict assertion
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 02 Dec 2013 14:19:20 -0800
parents 3417a9177425
children
comparison
equal deleted inserted replaced
13209:b96cc3b87e87 13211:d862cb983214