Johannes Findeisen 1e1459fa50 Added some more projects and libraries.		2022-11-27 16:14:05 +01:00
..
org.eclipse.core.resources.prefs	Added some more projects and libraries.	2022-11-27 16:14:05 +01:00