diff options
Diffstat (limited to 'modules/mpi/etc/mpi.quit')
| -rwxr-xr-x | modules/mpi/etc/mpi.quit | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/modules/mpi/etc/mpi.quit b/modules/mpi/etc/mpi.quit new file mode 100755 index 000000000..e69de29bb --- /dev/null +++ b/modules/mpi/etc/mpi.quit |