lucio a8d7d6c381 modified manager		2024-02-22 16:26:44 +01:00
..
org.eclipse.core.resources.prefs	modified manager	2024-02-22 16:26:44 +01:00
org.eclipse.jdt.core.prefs	modified manager	2024-02-22 16:26:44 +01:00
org.eclipse.m2e.core.prefs	first commit	2024-02-21 11:44:41 +01:00