Skip to content

Commit 5deaabf

Browse files
author
Documenter.jl
committed
build based on 2fba12e 
1 parent 8eaed11 commit 5deaabf

12 files changed

Lines changed: 139 additions & 34 deletions

‎dev/.documenter-siteinfo.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"documenter":{"julia_version":"1.11.3","generation_timestamp":"2025-03-09T14:13:58","documenter_version":"1.8.1"}}
1+
{"documenter":{"julia_version":"1.11.4","generation_timestamp":"2025-03-18T08:18:23","documenter_version":"1.9.0"}}

‎dev/api/index.html‎

Lines changed: 10 additions & 10 deletions
Large diffs are not rendered by default.

‎dev/assets/documenter.js‎

Lines changed: 110 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/assets/themes/catppuccin-frappe.css‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/assets/themes/catppuccin-latte.css‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/assets/themes/catppuccin-macchiato.css‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/assets/themes/catppuccin-mocha.css‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/assets/themes/documenter-dark.css‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/assets/themes/documenter-light.css‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎dev/dev/index.html‎

Lines changed: 8 additions & 8 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)