diff mx/org.eclipse.jdt.ui.prefs @ 4210:4e86f3befd65

Improve debug printing
author Christian Wimmer <Christian.Wimmer@Oracle.com>
date Tue, 03 Jan 2012 18:36:53 -0800
parents 3e2e8b8abdaf
children
line wrap: on
line diff