0xb00bface 7998545b30 Update eclipse configs		2021-08-07 14:17:01 +02:00
..
org.eclipse.core.resources.prefs	Update eclipse configs	2021-08-07 14:17:01 +02:00
org.eclipse.jdt.core.prefs	Update Java to version 15.0.1	2020-12-24 17:03:53 +01:00
org.eclipse.m2e.core.prefs	Split up project into client, server, common and master	2018-11-18 22:42:13 +01:00