Commit 2024-07-22 14:24 fb973664
View on Github →feat: add the cdot
linter (#15010)
The cdot
linter is a syntax linter that flags uses of the "cdot" ·
that are achieved by typing a character different from ·
.
For instance, a "plain" dot .
is allowed syntax, but is flagged by the linter.