How hard will it be to get rid of the sys/shell directory? All that code that needs to be constantly updated with Jed's crazy schemes is driving me nuts.
Barry
- [petsc-dev] getting rid of the sys/shell directory? Barry Smith
- [petsc-dev] getting rid of the sys/shell directory? Dmitry Karpeev
- [petsc-dev] getting rid of the sys/shell directory... Dmitry Karpeev
- [petsc-dev] getting rid of the sys/shell directory? Jed Brown
