comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 6679:4f28522d9cfd

fix merge error
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 07 Nov 2012 15:58:20 +0100
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
6678:e75c3dd32c5b 6679:4f28522d9cfd