log .settings/org.eclipse.jdt.core.prefs @ 68:8b58d9bc0bb6 trimmed_data

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