100644 blob 7e9daa4d88fd513433863a4608d98e0f16f9ee1a	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree 05495fcb6af27ee2aea68b000b2d33db7cbdb6d4	pcs
100644 blob ed65d2727d8e0ece99d58714e775fe5d4ccc8c4f	persistent-state
100644 blob 13d6ff5d8b41a421bdab72e8710d6012949a9da8	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree 6e9af6d6bd70f06133c6cf57f2d0326fb5a21386	sources