]> https://gitweb.dealii.org/ - candi.git/commit
Remove deprecated platforms 235/head
authorFabian Castelli <fabian.castelli@kit.edu>
Tue, 6 Jul 2021 11:45:42 +0000 (13:45 +0200)
committerFabian Castelli <fabian.castelli@kit.edu>
Tue, 6 Jul 2021 11:45:42 +0000 (13:45 +0200)
commitc0ae1b7307e151f2d239d149dbe580ef6bae598f
tree918b4fcd5e8d9c27454f555905477f6f56e492d1
parente0e10a136cc0000e2c5aef3e70b0dc1d657f291e
Remove deprecated platforms
deal.II-toolchain/platforms/deprecated/ubuntu12.platform [deleted file]
deal.II-toolchain/platforms/deprecated/ubuntu14.platform [deleted file]
deal.II-toolchain/platforms/deprecated/ubuntu15.platform [deleted file]
deal.II-toolchain/platforms/deprecated/ubuntu17.platform [deleted file]
deal.II-toolchain/platforms/supported/ubuntu16.platform [deleted file]

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.