Added navbar and removed insert_navbar.sh

TuringLang · Jun 24, 2024 · ba9e818 · ba9e818
1 parent 4328706
commit ba9e818
Show file tree

Hide file tree

Showing 22 changed files with 9,787 additions and 21 deletions.
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/design/index.html b/dev/design/index.html
diff --git a/dev/index.html b/dev/index.html
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/"/>
+
diff --git a/previews/PR117/api/index.html b/previews/PR117/api/index.html
diff --git a/previews/PR117/design/index.html b/previews/PR117/design/index.html
diff --git a/previews/PR117/index.html b/previews/PR117/index.html
diff --git a/previews/PR120/api/index.html b/previews/PR120/api/index.html
diff --git a/previews/PR120/design/index.html b/previews/PR120/design/index.html
diff --git a/previews/PR120/index.html b/previews/PR120/index.html
diff --git a/previews/PR120/search/index.html b/previews/PR120/search/index.html
diff --git a/previews/PR124/api/index.html b/previews/PR124/api/index.html
diff --git a/previews/PR124/design/index.html b/previews/PR124/design/index.html
diff --git a/previews/PR124/index.html b/previews/PR124/index.html
diff --git a/previews/PR124/search/index.html b/previews/PR124/search/index.html
diff --git a/previews/PR137/api/index.html b/previews/PR137/api/index.html
diff --git a/previews/PR137/design/index.html b/previews/PR137/design/index.html
diff --git a/previews/PR137/index.html b/previews/PR137/index.html
diff --git a/previews/PR86/api/index.html b/previews/PR86/api/index.html
diff --git a/previews/PR86/design/index.html b/previews/PR86/design/index.html
diff --git a/previews/PR86/index.html b/previews/PR86/index.html
diff --git a/previews/PR86/search/index.html b/previews/PR86/search/index.html
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=./dev/"/>