Skip to content

Elaborating the MicTocBuilder#985

Merged
Ducasse merged 10 commits intopillar-markup:devfrom
AndrzejProchyra:toc-builder
Jan 10, 2026
Merged

Elaborating the MicTocBuilder#985
Ducasse merged 10 commits intopillar-markup:devfrom
AndrzejProchyra:toc-builder

Commits

Commits on Jan 8, 2026

Commits on Jan 9, 2026