comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4462:428a91f18858

fixes after merge
author Christian Haeubl <christian.haeubl@oracle.com>
date Thu, 02 Feb 2012 17:46:37 -0800
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
4461:539fca6a3b98 4462:428a91f18858