Log Message: Clean up patches and remove subshells.
Revision | Action | file |
1.2 | modify | wip/prover9/distinfo |
1.2 | modify | wip/prover9/patches/patch-aa |
1.2 | modify | wip/prover9/patches/patch-ac |
1.2 | modify | wip/prover9/patches/patch-ae |
1.2 | modify | wip/prover9/patches/patch-af |
1.2 | modify | wip/prover9/patches/patch-ag |