java-org.hwo/.settings
Harald Wolff f91581c7b0 WIP161028 HF3 2016-10-28 10:45:44 +02:00
..
org.eclipse.jdt.core.prefs WIP161028 HF3 2016-10-28 10:45:44 +02:00