[petsc-users] Removing PETSC_ARCH

[iwaddington .]

Hi everybody, do you know the correct procedure to delete a PETSC_ARCH
installed in a folder of its own ? Thanks, Italo.