Skip to content

Add --shell to mix cmd#14827

Merged
josevalim merged 2 commits intomainfrom
jv-cmd-shell
Oct 9, 2025
Merged

Add --shell to mix cmd#14827
josevalim merged 2 commits intomainfrom
jv-cmd-shell

Commits

Commits on Oct 9, 2025