comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5834:2b786c82e329

Remove useless double canonicalization Fix warning
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 13 Jul 2012 15:41:01 +0200
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
5833:2a9fda4f9f1e 5834:2b786c82e329