From bf8de6192524655776976882a700e66eaf2646a7 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 10 Mar 2018 13:32:20 +0000 Subject: drop custom profile --- profiles/desc/openmpi_rm.desc | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 profiles/desc/openmpi_rm.desc (limited to 'profiles/desc/openmpi_rm.desc') 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 -- cgit v1.2.3