Skip to content

fix: measure Format.align at the column the renderer uses - #14693

Open
jcreinhold wants to merge 4 commits into
leanprover:masterfrom
jcreinhold:fix/pp-trailing-whitespace-sepByIndent
Open

fix: measure Format.align at the column the renderer uses#14693
jcreinhold wants to merge 4 commits into
leanprover:masterfrom
jcreinhold:fix/pp-trailing-whitespace-sepByIndent

refactor: trim the align fix to what it needs

1c66dbc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped