Skip to content

chore(website): fix Options heading level for no-empty-interface docs#5870

Merged
JoshuaKGoldberg merged 2 commits intotypescript-eslint:mainfrom
JoshuaKGoldberg:no-empty-interface-docs-order
Oct 24, 2022
Merged

chore(website): fix Options heading level for no-empty-interface docs#5870
JoshuaKGoldberg merged 2 commits intotypescript-eslint:mainfrom
JoshuaKGoldberg:no-empty-interface-docs-order

Commits