Skip to content

Drop obsolete class LintError in ktlint-api-consumer#2145

Merged
paul-dingemans merged 1 commit intomasterfrom drop-lint-error-api-consumerJul 22, 2023

Commits

Commits on Jul 22, 2023