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

Sid 38091651ab first commit, frontend ish done		2022-10-27 22:52:03 +02:00
..
org.eclipse.core.resources.prefs	first commit, frontend ish done	2022-10-27 22:52:03 +02:00
org.eclipse.jdt.core.prefs	first commit, frontend ish done	2022-10-27 22:52:03 +02:00