Clarify description of command line args argument to `runtests`#75

Merged

giordano merged 1 commit intomainfrom

mg/runtests-args-docs

Dec 6, 2025

Commits on Dec 6, 2025

Clarify description of command line args argument to `runtests`
giordano
committed