build based on 344bde1

TuringLang · Jul 20, 2024 · d333e29 · d333e29
1 parent 1850d27
commit d333e29
Show file tree

Hide file tree

Showing 11 changed files with 28 additions and 18 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-05T14:51:35","documenter_version":"1.4.1"}}
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-20T09:30:00","documenter_version":"1.5.0"}}
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/assets/documenter.js b/dev/assets/documenter.js
diff --git a/dev/assets/themes/catppuccin-frappe.css b/dev/assets/themes/catppuccin-frappe.css
diff --git a/dev/assets/themes/catppuccin-latte.css b/dev/assets/themes/catppuccin-latte.css
diff --git a/dev/assets/themes/catppuccin-macchiato.css b/dev/assets/themes/catppuccin-macchiato.css
diff --git a/dev/assets/themes/catppuccin-mocha.css b/dev/assets/themes/catppuccin-mocha.css
diff --git a/dev/assets/themes/documenter-dark.css b/dev/assets/themes/documenter-dark.css
diff --git a/dev/assets/themes/documenter-light.css b/dev/assets/themes/documenter-light.css
diff --git a/dev/index.html b/dev/index.html
diff --git a/dev/search_index.js b/dev/search_index.js