Added navbar and removed insert_navbar.sh

TuringLang · Sep 18, 2024 · 009ef03 · 009ef03
1 parent 3b47782
commit 009ef03
Show file tree

Hide file tree

Showing 3 changed files with 921 additions and 2 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=./dev/"/>
+