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

mmk2410 f147ec1d72 Package renamed to meet the java name conventions		2015-01-02 19:39:44 +01:00
..
org.eclipse.core.resources.prefs	Package renamed to meet the java name conventions	2015-01-02 19:39:44 +01:00
org.eclipse.jdt.core.prefs	Version 1.0	2015-01-02 11:25:12 +01:00