var dir_95a311f0e10d35b26251f9ae99a1c828 =
[
    [ "include", "dir_eaee6652f7db4fca151b887589371d78.html", "dir_eaee6652f7db4fca151b887589371d78" ],
    [ "user_permit_manager.php", "user__permit__manager_8php.html", [
      [ "user_permit_manager_1_0_0", "classuser__permit__manager__1__0__0.html", "classuser__permit__manager__1__0__0" ]
    ] ]
];