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/choose.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/help/choose.html') diff --git a/docs/help/choose.html b/docs/help/choose.html index 75fbdcfa..96304e0b 100644 --- a/docs/help/choose.html +++ b/docs/help/choose.html @@ -5,7 +5,7 @@

Circle with Lower Right Quadrant (โ—ถ)

-

๐”ฝโ—ถ๐•˜ ๐•ฉ, ๐•จ ๐”ฝโ—ถ๐•˜ ๐•ฉ: Choose

+

๐”ฝโ—ถ๐•˜ ๐•ฉ, ๐•จ ๐”ฝโ—ถ๐•˜ ๐•ฉ: Choose

Apply ๐”ฝ to the arguments and pick a function from list ๐•˜. Apply the picked function to the arguments.

โ†—๏ธ
       F โ† โŠขโ—ถ+โ€ฟ-โ€ฟรทโ€ฟร—
 
-- 
cgit v1.2.3