Phillip Webb 44bdcef0b9 Tweak Eclipse settings

2022-05-05 12:35:21 -07:00

..

org.eclipse.jdt.core.prefs

Tweak Eclipse settings

2022-05-05 12:35:21 -07:00

org.eclipse.jdt.ui.prefs

Update @since tag in code template to 6.0

2021-09-15 14:24:14 +02:00