Skip to content

Clarify description of command line args argument to runtests#75

Merged
giordano merged 1 commit intomainfrom
mg/runtests-args-docs
Dec 6, 2025
Merged

Clarify description of command line args argument to `runtests`#75
giordano merged 1 commit intomainfrom
mg/runtests-args-docs

Commits

Commits on Dec 6, 2025