simon/yakindu @ 18f7dc1878f4be555514dad81393bd2bb0de225f

Rainer Klute 2994b9b1e7 Documentation styling harmonized (issue #782) (#805)		9 lat temu
..
org.eclipse.core.resources.prefs	2994b9b1e7 Documentation styling harmonized (issue #782) (#805)	9 lat temu
org.eclipse.core.runtime.prefs	9265e91376 Set project encoding to utf-8 and unix line end	12 lat temu