Skip to content

set default templates to autotypenumbers=strict#2951

Merged
nicolaskruchten merged 2 commits intomasterfrom
autotypenumbers
Dec 3, 2020

Commits

Commits on Dec 3, 2020