From: Reza Rastak <rastak@stanford.edu>
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