Skip to content

Resolve "prettyprinter for terms needs align"

waldmann requested to merge 960-prettyprinter-for-terms-needs-align into master

Closes #960 (closed)

Edited by waldmann

Merge request reports