Skip to content

Move spotless to a profile so it can be disabled#5365

Merged
EricWittmann merged 1 commit intomainfrom chore/spotless-profileOct 18, 2024

Commits

Commits on Oct 18, 2024