This repository has been archived on 2022-02-10. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

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