var format_system =
[
    [ "/device element", "format_device.html", "format_device" ],
    [ "/resources element", "format_resources.html", "format_resources" ],
    [ "/zones element", "format_zones.html", "format_zones" ]
];