This repository has been archived on 2021-12-05. You can view files and clone it, but cannot push or open issues or pull requests.

delvh fbd81e9d24 Delete org.eclipse.jdt.ui.prefs ...

we live in a totalitarian regime in which individual preferences are not wanted

2020-02-04 21:18:32 +01:00

..

org.eclipse.core.resources.prefs

Added boolean registration to LoginCredentials

2020-01-18 10:27:29 +01:00

org.eclipse.jdt.core.prefs

Added message schema

2019-09-28 14:20:25 +02:00

org.eclipse.m2e.core.prefs

Added message schema

2019-09-28 14:20:25 +02:00

org.eclipse.wst.common.component

Added boolean registration to LoginCredentials

2020-01-18 10:27:29 +01:00

org.eclipse.wst.common.project.facet.core.xml

Added message schema

2019-09-28 14:20:25 +02:00

org.eclipse.wst.validation.prefs

Updated message schema to support JAXB

2019-09-28 16:21:07 +02:00