100644 blob 6f8d76cd1da5e0cc8b1b626ae97c5ca350be3c66	.project
040000 tree 8306638bd1ca967ee6aea654cfaf1b3d3e6d7c31	configurations
040000 tree ecf4adec6825c5491d6654e1dbb634705d31cffa	estimation
100644 blob c6bef160667c0e4143081bf3f241b2a71ad99a01	library.xmi
040000 tree bf7bae35a62d5b1cc52098bf3f1ca674f2145980	new_plug-in