0xb00bface 11ac6d905d Set Java version to 15		2020-12-29 14:44:11 +01:00
..
org.eclipse.core.resources.prefs	Split up project into client, server and master	2018-11-18 19:22:37 +01:00
org.eclipse.jdt.core.prefs	Set Java version to 15	2020-12-29 14:44:11 +01:00
org.eclipse.m2e.core.prefs	Split up project into client, server and master	2018-11-18 19:22:37 +01:00