delete history

JuliaLang · Oct 22, 2024 · 8aed842 · 8aed842
commit 8aed842
Show file tree

Hide file tree

Showing 210 changed files with 19,738 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.1399","generation_timestamp":"2024-10-16T18:13:57","documenter_version":"1.7.0"}}