Tropical fixes #10

Merged
Mark merged 1 commits from tropical-fix into main 2025-01-27 11:00:53 -08:00

1 Commits

Author SHA1 Message Date
06da550252
Tropical fixes
All checks were successful
CI / Typst formatting (pull_request) Successful in 7s
CI / Typos (pull_request) Successful in 13s
CI / Build (pull_request) Successful in 11m46s
2025-01-27 10:48:01 -08:00