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 85bfe18390 Cleaned up a bit

2020-07-05 15:53:12 +02:00

..

org.eclipse.core.resources.prefs

…

org.eclipse.jdt.core.prefs

Cleaned up a bit

2020-07-05 15:53:12 +02:00

org.eclipse.jdt.ui.prefs

Add proper layout to ChatWindow, fix user field selection in LoginDialog

2020-06-06 12:27:10 +02:00

org.eclipse.m2e.core.prefs

…

org.hibernate.eclipse.console.prefs

…