web/docs/group__pico__stdio__semihosting.js

   1 var group__pico__stdio__semihosting =
   2 [
   3     [ "stdio_semihosting_deinit", "group__pico__stdio__semihosting.html#ga042fb7bc8f910d5c982031c23491f056", null ],
   4     [ "stdio_semihosting_init", "group__pico__stdio__semihosting.html#ga457f5c331541292ce4bf48c9341170c6", null ]
   5 ];