NorbiPeti 543e7c3d7e Finally fixed(?) the undecided case		2015-08-10 21:29:09 +02:00
..
org.eclipse.core.resources	Finally fixed(?) the undecided case	2015-08-10 21:29:09 +02:00