var files_dup =
[
[ "main.py", "main_8py.html", "main_8py" ],
[ "minecraftchest1.us.py", "minecraftchest1_8us_8py.html", "minecraftchest1_8us_8py" ],
[ "test.py", "test_8py.html", "test_8py" ]
];