]> https://gitweb.dealii.org/ - candi.git/commitdiff
deprecate unsupported ubuntu platforms 146/head
authorReza Rastak <rastak@stanford.edu>
Tue, 9 Jun 2020 03:11:17 +0000 (20:11 -0700)
committerReza Rastak <rastak@stanford.edu>
Tue, 9 Jun 2020 03:11:17 +0000 (20:11 -0700)
deal.II-toolchain/platforms/deprecated/ubuntu12.platform [moved from deal.II-toolchain/platforms/supported/ubuntu12.platform with 100% similarity]
deal.II-toolchain/platforms/deprecated/ubuntu14.platform [moved from deal.II-toolchain/platforms/supported/ubuntu14.platform with 100% similarity]
deal.II-toolchain/platforms/deprecated/ubuntu15.platform [moved from deal.II-toolchain/platforms/supported/ubuntu15.platform with 100% similarity]
deal.II-toolchain/platforms/deprecated/ubuntu17.platform [moved from deal.II-toolchain/platforms/supported/ubuntu17.platform with 100% similarity]


In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.