deploy: 3ebc0b3

Kampfkarren · Sep 29, 2023 · a74db2b · a74db2b
1 parent fe0506f
commit a74db2b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/print.html b/print.html
@@ -630,7 +630,7 @@ <h3 id="deprecated"><a class="header" href="#deprecated">Deprecated</a></h3>
       - type: table
       - type: number
     deprecated:
-      message: &quot;`table.getn` has been superceded by #.&quot;
+      message: &quot;`table.getn` has been superseded by #.&quot;
       replace:
         - &quot;#%1&quot;
 </code></pre>

diff --git a/searchindex.js b/searchindex.js
diff --git a/searchindex.json b/searchindex.json
diff --git a/usage/std.html b/usage/std.html
@@ -287,7 +287,7 @@ <h3 id="deprecated"><a class="header" href="#deprecated">Deprecated</a></h3>
       - type: table
       - type: number
     deprecated:
-      message: &quot;`table.getn` has been superceded by #.&quot;
+      message: &quot;`table.getn` has been superseded by #.&quot;
       replace:
         - &quot;#%1&quot;
 </code></pre>