Skip to content

zsh completion: an option without a description is still an option - #213

Merged
borkdude merged 1 commit into
mainfrom
zsh-options-without-desc
Jul 26, 2026
Merged

zsh completion: an option without a description is still an option#213
borkdude merged 1 commit into
mainfrom
zsh-options-without-desc

Commits

Commits on Jul 26, 2026