simon/yakindu @ 260fea7126f49eeb2b26d074c4c9f4b9efbf8374

Andreas Mülder 987d259417 Issue 917 (#921)		vor 9 Jahren
..
org.eclipse.core.resources.prefs	987d259417 Issue 917 (#921)	vor 9 Jahren
org.eclipse.core.runtime.prefs	9265e91376 Set project encoding to utf-8 and unix line end	vor 12 Jahren
org.eclipse.jdt.core.prefs	6a4090844f replace JavaSE-1.6 to JavaSE-1.7 in all MANIFEST.MF	vor 9 Jahren
org.eclipse.xtend.shared.ui.prefs	d5c9dac1bc Added Builder Integration Fragment	vor 14 Jahren