Fix collective docs

This commit is contained in:
Salvatore Filippone
2022-04-04 11:26:28 +02:00
parent 040d619d08
commit cdb65796e4
19 changed files with 2462 additions and 1937 deletions
+1 -1
View File
@@ -20,7 +20,7 @@ href="userhtmlsu86.html# " >up</a>] </p></div>
<pre class="verbatim" id="verbatim-91">
<pre class="verbatim" id="verbatim-98">
call&#x00A0;prec%free(info)
</pre>
<!--l. 271--><p class="nopar" >