Skip to content

Make CLI options more like wolframscript#97

Merged
rocky merged 3 commits intomasterfrom
make-command-options-more-like-wolframscript
Jul 17, 2025
Merged

Make CLI options more like wolframscript#97
rocky merged 3 commits intomasterfrom
make-command-options-more-like-wolframscript

Commits

Commits on Jul 17, 2025