| 873ad108 | 20-Jan-2026 |
Barry Smith <bsmith@mcs.anl.gov> |
Change script name to $PETSC_DIR/lib/petsc/bin/petscfreesharedmemory.sh
from $PETSC_DIR/lib/petsc/bin/petscfreesharedmemory
This is part of the process of better organizing the shell script usage i
Change script name to $PETSC_DIR/lib/petsc/bin/petscfreesharedmemory.sh
from $PETSC_DIR/lib/petsc/bin/petscfreesharedmemory
This is part of the process of better organizing the shell script usage in PETSc. Since this functionality is not commonly used it is ok to just change
show more ...
|