var specs_ctrl =
[
    [ "Control Protocols", "spec_control_api.html", null ],
    [ "Control Channels", "spec_control_channel.html", null ]
];