comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 19115:1d33f713897d

More restructuring of CompareNode. Move unorderedIsTrue flag to a field.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 04 Feb 2015 02:38:59 +0100
parents e3491381c424
children 7e2c87dae93e
comparison
equal deleted inserted replaced
19114:b1dbba1f3f03 19115:1d33f713897d