Skip to content

Change newline formatting, in particular for empty blocks#23

Merged
JornC merged 3 commits intoaerius:mainfrom
JornC:update-preferences
Jan 13, 2025
Merged

Change newline formatting, in particular for empty blocks#23
JornC merged 3 commits intoaerius:mainfrom
JornC:update-preferences

Commits

Commits on Jan 8, 2025