Skip to content

Fix issue #61 by suppressing Coqtop stderr output#62

Open
felixbauckholt wants to merge 1 commit intothe-lambda-church:pathogen-bundlefrom felixbauckholt:pathogen-bundle
+2

Commits

Commits on Jul 4, 2017