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/enlist_pair.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'docs/help/enlist_pair.html') diff --git a/docs/help/enlist_pair.html b/docs/help/enlist_pair.html index 2915532b..2ec78670 100644 --- a/docs/help/enlist_pair.html +++ b/docs/help/enlist_pair.html @@ -7,10 +7,10 @@

Bow Tie ()

𝕩: Enlist

Put 𝕩 in a single element list. (𝕩)

-↗️
       1
+↗️
     1
 ⟨ 1 ⟩
 
-       44  36780
+     44  36780
 ┌─              
 · ┌─            
   ╵ 3 67 8 0    
@@ -22,13 +22,13 @@
 

𝕨 𝕩: Pair

Put 𝕨 and 𝕩 in a two element list. (𝕨, 𝕩)

-↗️
      1  2
+↗️
    1  2
 ⟨ 1 2 ⟩
 
-      1  "dsdasdas"
+    1  "dsdasdas"
 ⟨ 1 "dsdasdas" ⟩
 
-      (33  3)  67'a'"example"
+    (33  3)  67'a'"example"
 ┌─                                
 · ┌─        ⟨ 67 'a' "example" ⟩  
   ╵ 3 3 3                         
-- 
cgit v1.2.3