Fabio Sinibaldi ad5755c7e3 Append feature		2020-06-24 18:06:56 +02:00
..
org.eclipse.core.resources.prefs	Refactored project	2019-12-05 15:51:15 +01:00
org.eclipse.jdt.core.prefs	Append feature	2020-06-24 18:06:56 +02:00
org.eclipse.m2e.core.prefs	Refactored project	2019-12-05 15:51:15 +01:00