potzplitz 5a7d53f600 get GDLevel length		2024-05-11 01:11:43 +02:00
..
org.eclipse.core.resources.prefs	get GDLevel length	2024-05-11 01:11:43 +02:00
org.eclipse.jdt.core.prefs	optimized some code	2024-03-27 03:15:00 +01:00
org.eclipse.m2e.core.prefs	began gui	2024-02-28 00:13:43 +01:00