text: var files_dup =
  [
      [ "PathFinder", "dir_5a5dcd97d031810e1a415296ea6eb031.html", "dir_5a5dcd97d031810e1a415296ea6eb031" ],
      [ "Thief-Game", "dir_aeea92ea8e13719ba683235f99c46dc2.html", "dir_aeea92ea8e13719ba683235f99c46dc2" ],
      [ "Thief_GameTest", "dir_b8ad11ab17baca70f6489330ab6fa515.html", "dir_b8ad11ab17baca70f6489330ab6fa515" ],
      [ "open_docs.py", "open__docs_8py.html", "open__docs_8py" ],
      [ "README.MD", "_r_e_a_d_m_e_8_m_d.html", null ]
  ];