100644 blob ea62e7dd83dedd5adbff14f6fd5805c373322a57	.project
040000 tree 07c96b0e47f20957acc144638c6c0108527d2431	Plug_A
040000 tree 3bd711c5141f8cb7a64a5839a25daf824974c50a	Plug_A_renamed
040000 tree 5db5a4849cd91e56336956fade50ae898468ec07	configurations
040000 tree 72ae5d5dd075add38732d4fb3f5f462c351d3f45	estimation
100644 blob 434c49a1df604e3a1bc2d0e364d176e505df0549	library.xmi