Skip to content

feat: rename --desc to --description#170

Merged
drake-nominal merged 1 commit intomainfrom
mn/description-long-flag
Dec 16, 2024
Merged

feat: rename --desc to --description#170
drake-nominal merged 1 commit intomainfrom
mn/description-long-flag

Commits

Commits on Dec 14, 2024