Skip to content

Resolve "--print-proof: summary ignores part of Split"

waldmann requested to merge 474-print-proof-summary-ignores-part-of-split into master

Closes #474 (closed)

Edited by waldmann

Merge request reports