From 96db9676f0a176e4d5f362d6277fb410bede8ba6 Mon Sep 17 00:00:00 2001 From: Reza Rastak Date: Mon, 8 Jun 2020 20:11:17 -0700 Subject: [PATCH] deprecate unsupported ubuntu platforms --- .../platforms/{supported => deprecated}/ubuntu12.platform | 0 .../platforms/{supported => deprecated}/ubuntu14.platform | 0 .../platforms/{supported => deprecated}/ubuntu15.platform | 0 .../platforms/{supported => deprecated}/ubuntu17.platform | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename deal.II-toolchain/platforms/{supported => deprecated}/ubuntu12.platform (100%) rename deal.II-toolchain/platforms/{supported => deprecated}/ubuntu14.platform (100%) rename deal.II-toolchain/platforms/{supported => deprecated}/ubuntu15.platform (100%) rename deal.II-toolchain/platforms/{supported => deprecated}/ubuntu17.platform (100%) diff --git a/deal.II-toolchain/platforms/supported/ubuntu12.platform b/deal.II-toolchain/platforms/deprecated/ubuntu12.platform similarity index 100% rename from deal.II-toolchain/platforms/supported/ubuntu12.platform rename to deal.II-toolchain/platforms/deprecated/ubuntu12.platform diff --git a/deal.II-toolchain/platforms/supported/ubuntu14.platform b/deal.II-toolchain/platforms/deprecated/ubuntu14.platform similarity index 100% rename from deal.II-toolchain/platforms/supported/ubuntu14.platform rename to deal.II-toolchain/platforms/deprecated/ubuntu14.platform diff --git a/deal.II-toolchain/platforms/supported/ubuntu15.platform b/deal.II-toolchain/platforms/deprecated/ubuntu15.platform similarity index 100% rename from deal.II-toolchain/platforms/supported/ubuntu15.platform rename to deal.II-toolchain/platforms/deprecated/ubuntu15.platform diff --git a/deal.II-toolchain/platforms/supported/ubuntu17.platform b/deal.II-toolchain/platforms/deprecated/ubuntu17.platform similarity index 100% rename from deal.II-toolchain/platforms/supported/ubuntu17.platform rename to deal.II-toolchain/platforms/deprecated/ubuntu17.platform -- 2.39.5