comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 18566:b650870fe2fe

Backed out changeset: 3fb1231699de
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 27 Nov 2014 16:27:22 +0100
parents 3417a9177425
children
comparison
equal deleted inserted replaced
18565:b17e125f772f 18566:b650870fe2fe