Axel Uhl bd60f39e0e use degrees and decimal minutes for position displays ...

Change-Id: I8ae9f32f522a13801b10d2c208d4cbbbb88c4de9

2018-01-05 15:48:05 +01:00

..

org.eclipse.core.resources.prefs

use degrees and decimal minutes for position displays

2018-01-05 15:48:05 +01: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.m2e.core.prefs

normalized line endings

2017-05-16 09:42:02 +02:00