Skip to content

Leave out seq_linter() from efficiency linters#2658

Closed
IndrajeetPatil wants to merge 1 commit intomainfrom rm-sort-linter-from-efficiency

Commits

Commits on Sep 6, 2024