delete history

JuliaLang · Oct 16, 2024 · 08b847b · 08b847b
commit 08b847b
Show file tree

Hide file tree

Showing 162 changed files with 15,400 additions and 0 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.12.0-DEV.1271","generation_timestamp":"2024-10-01T15:35:29","documenter_version":"1.7.0"}}