Skip to content

Wingman: Config option to suppress proofstate styling#1966

Merged
mergify[bot] merged 2 commits intohaskell:masterfrom isovector:suppress-proofstate-htmlJun 25, 2021
+25-16

Commits

Commits on Jun 22, 2021

Commits on Jun 25, 2021