100644 blob 7e9daa4d88fd513433863a4608d98e0f16f9ee1a	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree 3c7decfc75bfef2d5085f55f94b8361ac9f84712	pcs
100644 blob fc71a0a109ada4fdb5cba93337c57482c071d76b	persistent-state
100644 blob 6f7cac4ec3e4ffdba4b136a91231648788f86631	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree 47f7bb43fa0fc4ebd6061569a5b66441ab2ac4a1	sources