From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 24 Jan 2022 18:12:13 -0500
Subject: Github doesn't remove Unicode letters from header slugs apparently

---
 docs/help/undo.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/help/undo.html')

diff --git a/docs/help/undo.html b/docs/help/undo.html
index 8707de72..2799abaf 100644
--- a/docs/help/undo.html
+++ b/docs/help/undo.html
@@ -5,7 +5,7 @@
 </head>
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="superscript-equals-sign-"><a class="header" href="#superscript-equals-sign-">Superscript Equals Sign (<code><span class='Modifier'>⁼</span></code>)</a></h1>
-<h2 id="-----undo"><a class="header" href="#-----undo"><code><span class='Function'>𝔽</span><span class='Modifier'>⁼</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>⁼</span> <span class='Value'>𝕩</span></code>: Undo</a></h2>
+<h2 id="𝔽-𝕩-𝕨-𝔽-𝕩-undo"><a class="header" href="#𝔽-𝕩-𝕨-𝔽-𝕩-undo"><code><span class='Function'>𝔽</span><span class='Modifier'>⁼</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>⁼</span> <span class='Value'>𝕩</span></code>: Undo</a></h2>
 <p>Invert the function <code><span class='Function'>𝔽</span></code>, or use its defined inverse. Not all functions have inverses.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMSAtIDIKCiAgIDEgLeKBvCAyCgogICDiiJogMTYKCiAgIOKImuKBvCA0CgogICDii4YgMQoKICAg4ouG4oG8IDIuNzE4MjgxODI4NDU5MDQ1">↗️</a><pre>       <span class='Number'>1</span> <span class='Function'>-</span> <span class='Number'>2</span>
 ¯1
-- 
cgit v1.2.3