100644 blob 7e9daa4d88fd513433863a4608d98e0f16f9ee1a	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree 2f3e34356f4a5bdef082d65b53b5f91c5d5efa48	pcs
100644 blob 5c97fbe269a8e731befc31663d20b2d36ee26860	persistent-state
100644 blob 2d8d5c2a99e49fee40f3ca2344f3d6029ec6b5d0	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree 0bc00258433f46d084c52f63d336583242d240c0	sources