Peter Dell 40e97c5474 Set text encoding to UTF-8 for help HTML files		2023-08-06 23:55:27 +02:00
..
org.eclipse.core.resources.prefs	Set text encoding to UTF-8 for help HTML files	2023-08-06 23:55:27 +02:00
org.eclipse.jdt.ui.prefs	Align project IDs and folder names	2021-09-28 13:39:39 +02:00