Skip to content

[red-knot] Add --color CLI option#16758

Merged
MichaReiser merged 3 commits intomainfrom
micha/color-cli-option2
Mar 17, 2025
Merged

[red-knot] Add `--color` CLI option#16758
MichaReiser merged 3 commits intomainfrom
micha/color-cli-option2

Commits

Commits on Mar 17, 2025