100644 blob 0f3563e67e96166bf91e766f9c59972192caccc7	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree 6c82c87e7dd57d06c9b8fd99d1921882683f1db9	pcs
100644 blob 41401e63381ff1666b6ff51240ce09b3647ce4fa	persistent-state
100644 blob ca0491cdfe8fcd2730a9b067d907c6db32747ca0	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree 7f3a1785ffd98ddf7e1e07d8819f9c57b756c54d	sources