var dir_7b66da39d3c4c512a694cf90233e8f50 =
[
    [ "config.hpp", "ginkgo-1_811_80_2include_2ginkgo_2core_2config_2config_8hpp_source.html", null ],
    [ "property_tree.hpp", "property__tree_8hpp_source.html", null ],
    [ "registry.hpp", "registry_8hpp_source.html", null ],
    [ "type_descriptor.hpp", "type__descriptor_8hpp_source.html", null ]
];