diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-03-10 13:32:20 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-03-10 13:32:20 +0000 |
commit | bf8de6192524655776976882a700e66eaf2646a7 (patch) | |
tree | 180bced139f9a62d3c18298a6c58bafae4548718 /profiles/desc/openmpi_rm.desc | |
parent | db42a995a5cdeedb9c3613dae4c387c77e8400b0 (diff) |
drop custom profile
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 |