log .settings/org.eclipse.jdt.core.prefs @ 82:7b65d95735d2 trimmed_data

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