NorbiPeti 84af21d22c Bug fixes ... - Commented out WIP code which caused errors - Other fixes		2015-08-10 07:45:50 +02:00
..
org.eclipse.core.resources	Bug fixes	2015-08-10 07:45:50 +02:00