lucio ff1ea51e30 update to be compatible with the latest worms version		2020-03-10 13:13:31 +01:00
..
org.eclipse.core.resources.prefs	release 4.3	2017-02-01 16:47:45 +00:00
org.eclipse.jdt.core.prefs	update to be compatible with the latest worms version	2020-03-10 13:13:31 +01:00
org.eclipse.m2e.core.prefs	release 4.3	2017-02-01 16:47:45 +00:00