var group___d_e_f_a_u_l_t_n_a_m_e_s =
[
    [ "FAVE_DEFFUC_NAME", "group___d_e_f_a_u_l_t_n_a_m_e_s.html#ga175c7aee729d36ac5b5910c91f9dcb19", null ],
    [ "FAVE_DEFLIB_NAME", "group___d_e_f_a_u_l_t_n_a_m_e_s.html#ga1da9962c3a05d57cf40aa3d1af5b5b53", null ]
];