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

Massimiliano Assante 280d4eaaa1 alfa implementation completed		2019-12-11 15:16:49 +01:00
..
org.eclipse.core.resources.prefs	alfa implementation completed	2019-12-11 15:16:49 +01:00
org.eclipse.jdt.core.prefs	alfa implementation completed	2019-12-11 15:16:49 +01:00