var dir_dea59b951000a423f8f16c0a74f8ea47 =
[
    [ "cli.c", "dd/def/cli_8c.html", "dd/def/cli_8c" ],
    [ "command_parser.c", "d9/d5b/command__parser_8c_source.html", null ],
    [ "texplorer.c", "d2/d28/texplorer_8c.html", "d2/d28/texplorer_8c" ],
    [ "tshell.c", "d1/dbe/tshell_8c.html", "d1/dbe/tshell_8c" ]
];