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/catch.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/catch.html') diff --git a/docs/help/catch.html b/docs/help/catch.html index 2612567b..e98292e1 100644 --- a/docs/help/catch.html +++ b/docs/help/catch.html @@ -9,9 +9,9 @@

Apply 𝔽 to the arguments.

If an error happens when 𝔽 is applied, cancel its execution, apply 𝔾 to the arguments and return its result.

Otherwise, return the result of 𝔽.

-↗️
       ∾⎊{"error occurred with argument: "∾•Fmt 𝕩} 1
+↗️
    ∾⎊{"error occurred with argument: "∾•Fmt 𝕩} 1
 "error occurred with argument: 1"
 
-       ∾⎊{"error occurred with argument: "∾•Fmt 𝕩} ⟨⟨1,2⟩, ⟨3,4⟩⟩
+    ∾⎊{"error occurred with argument: "∾•Fmt 𝕩} ⟨⟨1,2⟩, ⟨3,4⟩⟩
 ⟨ 1 2 3 4 ⟩
 

-- 
cgit v1.2.3