diff 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
line wrap: on
line diff