100644 blob 7e9daa4d88fd513433863a4608d98e0f16f9ee1a	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree 24a6eb60cf98e403a9c7c1f9eee4d2b1d9f5bf7c	pcs
100644 blob 2224e7d63c6ac88c143def618fb04df55cefc7ed	persistent-state
100644 blob 1d8d5f3d98479ef41110c47df17107b8e03b9400	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree 00eac553315fd0a4d9ccbe8bbfa16ea16debcff9	sources