var NAVTREE =
[
  [ "radio_controller Driver", "index.html", [
    [ "Doc Sections", "modules.html", "modules" ]
  ] ]
];

var NAVTREEINDEX =
[
"group__user__functions.html"
];

var SYNCONMSG = 'click to disable panel synchronisation';
var SYNCOFFMSG = 'click to enable panel synchronisation';