comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 4388:b484ad70facb

Lazy initialize the printer.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 28 Jan 2012 00:44:26 +0100
parents 04ebcabcba4f
children 05a6d48a6ace
comparison
equal deleted inserted replaced
4387:1bd28959b8b8 4388:b484ad70facb