build based on d062d1a

JuliaPluto · Sep 18, 2023 · 94d1b57 · 94d1b57
1 parent 4592f3d
commit 94d1b57
Show file tree

Hide file tree

Showing 9 changed files with 745 additions and 449 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-09-18T10:03:13","documenter_version":"1.0.1"}}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-09-18T10:03:13","documenter_version":"1.0.1"}}