Skip to content

Always put newline after conclusion#342

Open
psteckler wants to merge 1 commit intoProofGeneral:asyncfrom psteckler:fix-233
+2-3

Commits

Commits on Mar 5, 2018