simon/yakindu @ 2c844eb40e17b17d6e7dab77f5635c3e08fc74aa

Andreas Mülder f36327a2ab increment version to 3.1.1 (#1727)		7 lat temu
..
org.eclipse.core.resources.prefs	9265e91376 Set project encoding to utf-8 and unix line end	12 lat temu
org.eclipse.core.runtime.prefs	9265e91376 Set project encoding to utf-8 and unix line end	12 lat temu
org.eclipse.jdt.core.prefs	f36327a2ab increment version to 3.1.1 (#1727)	7 lat temu