log .settings/org.eclipse.jdt.core.prefs @ 24:8c5676394093

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