s441433 d9ce35e634 Create properties.version		2019-01-06 17:05:56 +01:00
..
org.eclipse.core.resources/.root/.indexes	Create properties.version	2019-01-06 17:05:56 +01:00