Thanks to visit codestin.com
Credit goes to github.com

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