Skip to content

Reject unknown flags instead of ignoring them - #17

Merged
raj-khan merged 1 commit into
mainfrom
reject-unknown-flags
Oct 23, 2026
Merged

raj-khan merged 1 commit into
mainfrom
reject-unknown-flags

Commits

  1. Commits on Oct 23, 2026