var searchData=
[
  ['image_0',['Rebuilding the CI Docker image',['../md__c_l_a_u_d_e.html#autotoc_md18',1,'']]],
  ['implementation_20sequence_20committed_1',['Implementation sequence (committed)',['../md__c_l_a_u_d_e.html#autotoc_md36',1,'']]],
  ['is_20header_20only_2',['Everything is header-only',['../md__c_l_a_u_d_e.html#autotoc_md20',1,'']]]
];