On Tue, Nov 19, 2013 at 2:52 PM, iwaddington . <[email protected]>wrote:
> Hi everybody, do you know the correct procedure to delete a PETSC_ARCH > installed in a folder of its own ? Thanks, Italo. > cd $PETSC_DIR rm -rf $PETSC_ARCH Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener
