plugin: linter: add ruff to default configuration#3657

Merged

JoeKar merged 4 commits intomicro-editor:masterfrom

Andriamanitra:PR3656-continuation

Feb 8, 2025

Commits on Feb 6, 2025

plugin: linter: add `ruff` to default configuration.
magneticminou
authored
plugin: linter: change in `ruff` configuration

magneticminou
and
Andriamanitra
authored

Commits on Feb 7, 2025

plugin: linter: add `ruff` to documentation
magneticminou
authored
add missing linters to `help linter`
Andriamanitra
committed