Skip to content

DocBook reader: better handle informalequation#10592

Merged
jgm merged 1 commit intojgm:mainfrom snwnde:informaleqnFeb 2, 2025

Commits

Commits on Feb 2, 2025