var bold_8cpp =
[
    [ "bold", "bold_8cpp.html#ga353c769068e25303eb41fa2da565c604", null ]
];