Skip to content

Put end on separate line when pretty printing definitions#2100

Merged
mergify[bot] merged 1 commit intomainfrom fix/xsebek/def-end-prettyAug 9, 2024

Commits

Commits on Aug 9, 2024