From bc0245f0be38e547ad76bcd719c6dedbb161f0f4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 20:18:08 -0500 Subject: Remove extra leading spaces from code examples --- docs/help/deduplicate_find.html | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'docs/help/deduplicate_find.html') diff --git a/docs/help/deduplicate_find.html b/docs/help/deduplicate_find.html index cefe3b8f..917a2cff 100644 --- a/docs/help/deduplicate_find.html +++ b/docs/help/deduplicate_find.html @@ -7,12 +7,12 @@

Epsilon Underbar ()

𝕩: Deduplicate

Unique major cells of 𝕩.

-↗️
        4566475
+↗️
     4566475
 ⟨ 4 5 6 7 ⟩
 
-       a  33  6
+    a  33  6
 
-        a
+     a
 ┌─       
 ╵ 0 1 2  
   3 4 5  
@@ -21,17 +21,17 @@
 

𝕨 𝕩: Find

Mark the top left location of the occurrences of 𝕨 in 𝕩 with a 1, and other locations with 0.

Result is the same shape as (𝕨)x.

-↗️
       "string"  "substring"
+↗️
    "string"  "substring"
 ⟨ 0 0 0 1 ⟩
 
-       "loooooong"  "short"
+    "loooooong"  "short"
 ⟨⟩
 
-       b  7 (4|⋆˜) 9
+    b  7 (4|⋆˜) 9
 
-       c  (030010)
+    c  (030010)
 
-       c  b
+    c  b
 ┌─               
 ╵ 0 0 0 0 0 0 0  
   0 0 0 0 0 0 0  
-- 
cgit v1.2.3