Michael N. Lipp 7a9ed262c1 Refactor and implement shutdown.		2023-06-04 13:05:02 +02:00
..
org.eclipse.buildship.core.prefs	Initial commit.	2023-05-23 21:38:32 +02:00
org.eclipse.core.resources.prefs	Initial commit.	2023-05-23 21:38:32 +02:00
org.eclipse.core.runtime.prefs	Initial commit.	2023-05-23 21:38:32 +02:00
org.eclipse.jdt.core.prefs	Refactor and implement shutdown.	2023-06-04 13:05:02 +02:00