Skip to content

Clean up minor issues in Project.toml and docs - #804

Merged
ocots merged 2 commits into
control-toolbox:mainfrom
tmigot:fix/trivial-cleanup
Jul 27, 2026
Merged

Clean up minor issues in Project.toml and docs#804
ocots merged 2 commits into
control-toolbox:mainfrom
tmigot:fix/trivial-cleanup

Commits

Commits on Jul 1, 2026

Commits on Jul 27, 2026