Added navbar and removed insert_navbar.sh

TuringLang · Oct 23, 2024 · 17799b3 · 17799b3
1 parent aaf7b91
commit 17799b3
Show file tree

Hide file tree

Showing 4 changed files with 1,381 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -1,2 +1,3 @@
 <!--This file is automatically generated by Documenter.jl-->
 <meta http-equiv="refresh" content="0; url=./stable/"/>
+