Subject: CVS commit: wip/prover9
From: Pouya Tafti
Date: 2011-01-16 18:20:53
Message id: E1PeWHt-0003HU-0y@sfp-cvsdas-2.v30.ch3.sourceforge.com
Log Message:
Clean up patches and remove subshells.
Files:
RevisionActionfile
1.2modifywip/prover9/distinfo
1.2modifywip/prover9/patches/patch-aa
1.2modifywip/prover9/patches/patch-ac
1.2modifywip/prover9/patches/patch-ae
1.2modifywip/prover9/patches/patch-af
1.2modifywip/prover9/patches/patch-ag