comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 10899:d9656f8eede0

solaris build fixed
author twisti
date Fri, 26 Jul 2013 20:34:56 -0700
parents 3417a9177425
children
comparison
equal deleted inserted replaced
10898:ea308a63760b 10899:d9656f8eede0