var searchData=
[
  ['selection_0',['Backend Selection',['../index.html#autotoc_md21',1,'']]],
  ['specific_20options_1',['specific Options',['../index.html#autotoc_md17',1,'Linux-specific Options'],['../index.html#autotoc_md18',1,'Windows-specific Options'],['../index.html#autotoc_md22',1,'Windows-specific Options']]],
  ['started_2',['Getting Started',['../index.html#autotoc_md9',1,'']]],
  ['support_3',['Platform Support',['../index.html#autotoc_md1',1,'']]]
];
