Merge branch 'main' into main

[pico-vscode.git] / web / docs / group__pico__stdio__semihosting.js

diff --git a/web/docs/group__pico__stdio__semihosting.js b/web/docs/group__pico__stdio__semihosting.js
index 95de56c4a592164133f73a8642d2e7bac04fdf91..f63de4b23f275d5220c7fc89522b4a4949597b66 100644 (file)
--- a/web/docs/group__pico__stdio__semihosting.js
+++ b/web/docs/group__pico__stdio__semihosting.js
@@ -1,4 +1,5 @@
 var group__pico__stdio__semihosting =
 [
+    [ "stdio_semihosting_deinit", "group__pico__stdio__semihosting.html#ga042fb7bc8f910d5c982031c23491f056", null ],
     [ "stdio_semihosting_init", "group__pico__stdio__semihosting.html#ga457f5c331541292ce4bf48c9341170c6", null ]
 ];
\ No newline at end of file