From: Reza Rastak Date: Tue, 9 Jun 2020 03:11:17 +0000 (-0700) Subject: deprecate unsupported ubuntu platforms X-Git-Tag: v9.3.0-r3~37^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F146%2Fhead;p=candi.git deprecate unsupported ubuntu platforms --- 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