simon/yakindu @ 5645f8279f9625b5b885e7cd3bc4944c5b3fe13f

Andreas Mülder f36327a2ab increment version to 3.1.1 (#1727)		7 роки тому
..
org.eclipse.core.resources.prefs	9265e91376 Set project encoding to utf-8 and unix line end	12 роки тому
org.eclipse.core.runtime.prefs	9265e91376 Set project encoding to utf-8 and unix line end	12 роки тому
org.eclipse.jdt.core.prefs	f36327a2ab increment version to 3.1.1 (#1727)	7 роки тому