var options__manager_8c =
[
    [ "put_options_from_preferences", "options__manager_8c.html#ac2084bf4f6729aaa47baae701c8ce972", null ],
    [ "put_tags_from_filename_regex_options", "options__manager_8c.html#acdf8cc51a45278d7c4758c1beeb388bf", null ],
    [ "update_output_options", "options__manager_8c.html#a46ff5e1c605b7ef7656262a343a11104", null ]
];