comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 13907:6fc05ad86490

Remove unused 'negated' arguments.
author Roland Schatz <roland.schatz@oracle.com>
date Fri, 07 Feb 2014 15:03:21 +0100
parents 2ba54e75b032
children 8db6e76cb658
comparison
equal deleted inserted replaced
13906:1a0db519cddb 13907:6fc05ad86490