From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 18:12:13 -0500 Subject: Github doesn't remove Unicode letters from header slugs apparently --- docs/help/join_jointo.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/join_jointo.html') diff --git a/docs/help/join_jointo.html b/docs/help/join_jointo.html index fcc69954..46cd0df2 100644 --- a/docs/help/join_jointo.html +++ b/docs/help/join_jointo.html @@ -5,7 +5,7 @@

Lazy S ()

-

𝕩: Join

+

𝕩: Join

Join all elements of 𝕩 together.

Element ranks must be compatible.

↗️
        12, 3, 45
@@ -21,7 +21,7 @@
   3 3 3 3 4 4 5 5 5 5 5  
                         ┘
 
-

𝕨 𝕩: Join

+

𝕨 𝕩: Join

Join 𝕨 to 𝕩 along the first axis.

↗️
       "abcd"  "EFG"
 "abcdEFG"
-- 
cgit v1.2.3