var xml_rzone_pg =
[
    [ "/rzone/creator element", "xml_creator.html", null ],
    [ "/rzone/device element", "xml_device.html", [
      [ "/rzone/device/package element", "xml_device.html#xml_package", null ],
      [ "/rzone/device/processor element", "xml_device.html#xml_processor", null ]
    ] ],
    [ "/rzone/resources element", "xml_resources.html", "xml_resources" ]
];