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/under.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/help/under.html') diff --git a/docs/help/under.html b/docs/help/under.html index c50a0af5..c55d48b2 100644 --- a/docs/help/under.html +++ b/docs/help/under.html @@ -16,12 +16,12 @@
  • A function invertible by (Undo)
  • A structural modification
  • -↗️
           9(1) 123
    +↗️
        9(1) 123
     ⟨ 1 9 3 ⟩
     
    -        (1) + (9)
    +     (1) + (9)
     16
     
    -       1 + 9
    +    1 + 9
     16
     
    -- cgit v1.2.3