Docs update.

2026-10-12 08:59:04 +00:00 · 2022-03-09 15:44:50 +01:00
parent 3637c8f78a
commit 1d3fa7c07d
24 changed files with 2630 additions and 2546 deletions
@@ -388,6 +388,10 @@ class="newline" />An integer value; 0 means no error has been detected.</dd></dl
                                                                  

                                                                  
+<!--l. 124--><p class="indent" >
+                                                                  
+
+                                                                  
   <!--l. 2--><div class="crosslinks"><p class="noindent">[<a 
 href="userhtmlsu90.html" >front</a>] [<a 
 href="# "  >up</a>] </p></div>