Skip to content

chore: normalize whitespace around colons#8

Merged
kim-em merged 1 commit intoleanprover:mainfrom
kim-em:colon_spaces
Jul 2, 2025
Merged

chore: normalize whitespace around colons#8
kim-em merged 1 commit intoleanprover:mainfrom
kim-em:colon_spaces

Commits

Commits on Jul 2, 2025