Skip to content

Merge main to fix aside issues - #455

Merged
sean-fitzpatrick merged 38 commits into
2026-SummerEdits-Chpt11from
main
Aug 20, 2026
Merged

Merge main to fix aside issues#455
sean-fitzpatrick merged 38 commits into
2026-SummerEdits-Chpt11from
main

Conversation

@APEXCalculus

Copy link
Copy Markdown
Owner

Upgraded the CLI but didn't properly merge main in.

sean-fitzpatrick and others added 30 commits June 30, 2026 15:24
Fix placement of arrows in figure
Changed the vertical shift from 3 to 2.
@sean-fitzpatrick
sean-fitzpatrick merged commit 6d5fb98 into 2026-SummerEdits-Chpt11 Aug 20, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants