var files_dup = [ [ "minecraftchest1.us.py", "minecraftchest1_8us_8py.html", "minecraftchest1_8us_8py" ], [ "test_dnscode.py", "test__dnscode_8py.html", "test__dnscode_8py" ] ];