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

Barb ()

-

𝕩: Deshape

+

𝕩: Deshape

Put all elements of 𝕩 in a rank 1 array, converting to array if necessary.

↗️
           1
 ⟨ 1 ⟩
@@ -13,7 +13,7 @@
            12  34
 ⟨ 1 2 3 4 ⟩
 
-

𝕨 𝕩: Reshape

+

𝕨 𝕩: Reshape

Put all elements of 𝕩 in an array of shape 𝕨, adding or removing elements if necessary.

A single element in 𝕩 can be a function, which will be replaced with an appropriate length: