Skip to content

rename the 'map' command to 'run'#336

Merged
devoncarew merged 2 commits intomainfrom rename_commandJan 11, 2025

Commits

Commits on Jan 10, 2025

Commits on Jan 11, 2025