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

jdreichmann 01b1f2a807 Initial commit after migrating repo and assuring the product builds and tests pass		2019-06-23 15:02:23 +02:00
..
org.eclipse.jdt.core.prefs	Initial commit after migrating repo and assuring the product builds and tests pass	2019-06-23 15:02:23 +02:00