Skip to content

require short names by default#901

Merged
asottile merged 1 commit intomainfrom require-short-namesNov 19, 2023

Commits

Commits on Nov 19, 2023