]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #235 from gfcas/remove_deprecated_platforms
authorTimo Heister <timo.heister@gmail.com>
Tue, 6 Jul 2021 15:14:16 +0000 (11:14 -0400)
committerGitHub <noreply@github.com>
Tue, 6 Jul 2021 15:14:16 +0000 (11:14 -0400)
commitf229cd3402eee8dad1c3df8548ac50ecc1f52422
tree918b4fcd5e8d9c27454f555905477f6f56e492d1
parente0e10a136cc0000e2c5aef3e70b0dc1d657f291e
parentc0ae1b7307e151f2d239d149dbe580ef6bae598f
Merge pull request #235 from gfcas/remove_deprecated_platforms

Remove deprecated platforms

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.