var group__pico__stdio__usb =
[
[ "stdio_usb_connected", "group__pico__stdio__usb.html#ga86edc8e3a477bb388ae73d92a3e87824", null ],
+ [ "stdio_usb_deinit", "group__pico__stdio__usb.html#ga1a1edc699811e2dc3c119e8b00edc038", null ],
[ "stdio_usb_init", "group__pico__stdio__usb.html#gab87bcfa3f24e5a3fe92a944f9eecc460", null ]
];
\ No newline at end of file