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

renamed winregatta stuff to barbados; starting to remove Winregatta functionality from this branch

2013-04-16 23:48:54 +02:00