Axel Uhl 69de0f2d76 upgraded project settings to Java8, fixed gwt.ui to JavaSE-1.7 explicitly

2014-10-01 15:00:44 +02:00

..

org.eclipse.jdt.core.prefs

upgraded project settings to Java8, fixed gwt.ui to JavaSE-1.7 explicitly

2014-10-01 15:00:44 +02:00

org.eclipse.pde.core.prefs

fetched marineapi-0.5 sources from SVN and put into source bundles net.sf.marineapi[.test]

2013-01-07 09:36:29 +01:00