Skip to content

fix: do not include leading file contents in blog genre lean blocks as whitespace - #924

Merged
david-christiansen merged 1 commit into
leanprover:mainfrom
whxvd:fix-blog-lean-block-parsing
Jul 27, 2026
Merged

fix: do not include leading file contents in blog genre lean blocks as whitespace#924
david-christiansen merged 1 commit into
leanprover:mainfrom
whxvd:fix-blog-lean-block-parsing

Commits

Commits on Jul 13, 2026