log .settings/org.eclipse.jdt.core.prefs @ 89:3700846b8590 trimmed_data tip

age author description
Mon, 26 Nov 2012 14:48:49 +0100 Sebastian Kruse added Eclipse settings folder