log .settings/org.eclipse.jdt.core.prefs @ 85:108c853e0900 trimmed_data

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