var format_peripherals =
[
[ "/group element", "format_group.html", "format_group" ],
[ "/peripheral element", "format_peripheral.html", null ]
];