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

Square Image Of (โŠ)

-

โŠ ๐•ฉ: First Cell

+

โŠ ๐•ฉ: First Cell

First major cell of ๐•ฉ.

โ†—๏ธ
       โŠ โŸจ1, 2, 3โŸฉ
 โ”Œยท   
@@ -17,7 +17,7 @@
        โŠ a
 โŸจ 0 1 2 โŸฉ
 
-

๐•จ โŠ ๐•ฉ: Select

+

๐•จ โŠ ๐•ฉ: Select

Select the major cells of ๐•จ at the indices in ๐•ฉ.

โ†—๏ธ
       2โ€ฟ0 โŠ โŸจ1, 2, 3โŸฉ
 โŸจ 3 1 โŸฉ
-- 
cgit v1.2.3