Peter Siegmund c580c10f89 Merge branch 'bug2572' into android_apps

2015-01-14 17:02:18 +01:00

..

.settings

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

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

doc

…

META-INF

…

src/net/sf/marineapi

…

.classpath

upgraded classpaths to JavaSE-1.8

2014-10-01 14:16:18 +02:00

.gitignore

…

.project

…

build.gradle

Merge branch 'bug2572' into android_apps

2015-01-14 17:02:18 +01:00

build.properties

…

build.xml

…

pom.xml

…