Doc fixes

This commit is contained in:
Salvatore Filippone
2024-11-16 12:03:28 +01:00
parent eefc67bbdd
commit 9c4f4c4d15
64 changed files with 18806 additions and 17588 deletions
+5 -5
View File
@@ -10,10 +10,10 @@
<link rel="stylesheet" type="text/css" href="userhtml.css">
</head><body
>
<div class="footnote-text">
<!--l. 72--><p class="indent" > <span class="footnote-mark"><a
<div class="footnote-text">
<!--l. 72--><p class="indent" > <span class="footnote-mark"><a
id="fn4x0"><a
id="x16-136002x10.1"></a> <sup class="textsuperscript">4</sup></a></span><span
class="cmr-8">The string is case-insensitive</span></div>
id="x16-136002x10.1"></a> <sup class="textsuperscript">4</sup></a></span><span
class="pplr7t-x-x-80">The string is case-insensitive</span></div>
</body></html>