Stéphane Nicoll c127421e38 Revert "Disable warnings for deprecated for removal in Eclipse" ...

We should not disable such warnings

2024-06-06 11:44:09 +02:00

..

org.eclipse.core.resources.prefs

Set default encoding for Eclipse projects to UTF-8

2022-06-16 16:13:35 +02:00

org.eclipse.jdt.core.prefs

Revert "Disable warnings for deprecated for removal in Eclipse"

2024-06-06 11:44:09 +02:00

org.eclipse.jdt.ui.prefs

Update Eclipse template to 6.2

2024-02-16 11:41:22 +01:00