docs(docs): rebuilt docs

2025-11-24 09:08:28 -05:00
parent 9fab4fbfae
commit 22c0329de0
2410 changed files with 309008 additions and 146081 deletions
--- a/docs/html/dir_d2ba15782ddae84c3d0c5f0e63bda236.js
+++ b/docs/html/dir_d2ba15782ddae84c3d0c5f0e63bda236.js
@@ -1,4 +1,5 @@
 var dir_d2ba15782ddae84c3d0c5f0e63bda236 =
 [
-    [ "trigger_pprint.h", "trigger__pprint_8h.html", "trigger__pprint_8h" ]
+    [ "trigger_pprint.h", "trigger__pprint_8h.html", "trigger__pprint_8h" ],
+    [ "trigger_procedures.h", "trigger__procedures_8h.html", null ]
 ];