comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 13253:4d1cd29cceb0

make SPARC run again
author twisti
date Thu, 05 Dec 2013 11:57:11 -0800
parents 3417a9177425
children
comparison
equal deleted inserted replaced
13252:5d2bc83e9d22 13253:4d1cd29cceb0