Added navbar and removed insert_navbar.sh

TuringLang · Oct 28, 2024 · ab24bfc · ab24bfc
1 parent d8163df
commit ab24bfc
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=./stable/"/>
+
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1,3 @@
		<!--This file is automatically generated by Documenter.jl-->
		<meta http-equiv="refresh" content="0; url=./stable/"/>