Skip to content

Remove [extras] and [targets] from Project.toml#77

Merged
mtfishman merged 2 commits intomainfrom
mf/rm-extras
Dec 11, 2025
Merged

Remove [extras] and [targets] from Project.toml#77
mtfishman merged 2 commits intomainfrom
mf/rm-extras

Commits

Commits on Dec 11, 2025