comparison 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
comparison
equal deleted inserted replaced
4209:41b9ca06bcc8 4210:4e86f3befd65