Small update to the linter information for the documentation website#810

Merged

Jolanrensen merged 1 commit intomasterfrom

linter-docs-website-update

Aug 7, 2024

Commits on Aug 7, 2024

small update to the linter information for the documentation website
Jolanrensen
committed