Skip to content

Commit 5eedf4f

Browse files
author
Documenter.jl
committed
build based on d0b904a
1 parent 3167ed2 commit 5eedf4f

File tree

20 files changed

+80
-46
lines changed

20 files changed

+80
-46
lines changed

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.9.4","generation_timestamp":"2025-10-15T18:37:55","documenter_version":"1.14.1"}}
1+
{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2025-10-23T18:21:51","documenter_version":"1.15.0"}}

dev/assets/documenter.js

Lines changed: 48 additions & 14 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/assignment/index.html

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

dev/game/index.html

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)