Skip to content

Take line breaks into account for redundant periods#528

Open
engboris wants to merge 2 commits intoOCamlPro:masterfrom
engboris:syntax-dots
Open

Take line breaks into account for redundant periods#528
engboris wants to merge 2 commits intoOCamlPro:masterfrom
engboris:syntax-dots

Commits

Commits on Feb 12, 2026

Commits on Feb 13, 2026