Update docs for collectives

2026-10-20 12:52:14 +00:00 · 2022-04-04 10:51:56 +02:00
parent 7064777e2e
commit 040d619d08
20 changed files with 2267 additions and 1724 deletions
@@ -388,10 +388,6 @@ 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>