diff options
Diffstat (limited to 'profiles/desc/openmpi_rm.desc')
| -rw-r--r-- | profiles/desc/openmpi_rm.desc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/profiles/desc/openmpi_rm.desc b/profiles/desc/openmpi_rm.desc deleted file mode 100644 index 6769234e..00000000 --- a/profiles/desc/openmpi_rm.desc +++ /dev/null @@ -1,9 +0,0 @@ -# Copyright 1999-2012 Gentoo Foundation. -# Distributed under the terms of the GNU General Public License v2 - -# This file contains descriptions of OPENMPI_RM USE_EXPAND flags. - -# Keep it sorted. - -pbs - torque resource manager -slurm - slurm resource manager |