var group__signal__handling__functions =
[
    [ "remove_signal_handler", "../../../lang/html/group__signal__handling__functions.html#gac05b9fa9ba1c302c9a34995573482a5f", null ],
    [ "set_signal_handler", "../../../lang/html/group__signal__handling__functions.html#ga28cf2a280f8c3c302eeac0a46030be2d", null ]
];