Skip to content

types: use correct type def for ignored option#1140

Merged
paulmillr merged 1 commit intopaulmillr:masterfrom hyf0:types/0816Aug 16, 2021

Commits

Commits on Aug 16, 2021