Skip to content

Do not repeat formatting if file is unchanged#2805

Merged
paul-dingemans merged 1 commit intomasterfrom 2804Sep 18, 2024

Commits

Commits on Sep 18, 2024