0xb00bface 58d8432cf2 Update Java to version 15.0.1		2020-12-24 17:03:53 +01:00
..
org.eclipse.core.resources.prefs	Rewrite recording code for local recording	2019-05-31 20:00:07 +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