Tropical typos #9

Merged
Mark merged 1 commits from typos into main 2025-01-25 09:41:12 -08:00
Owner
No description provided.
Mark added 1 commit 2025-01-25 09:29:22 -08:00
Tropical typos
All checks were successful
CI / Typst formatting (pull_request) Successful in 10s
CI / Typos (pull_request) Successful in 18s
CI / Build (pull_request) Successful in 11m28s
35ae9de83c
Mark scheduled this pull request to auto merge when all checks succeed 2025-01-25 09:29:27 -08:00
Mark merged commit 0734b4b8a9 into main 2025-01-25 09:41:12 -08:00
Sign in to join this conversation.
No Reviewers
No Label
No Milestone
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Mark/handouts#9
No description provided.