]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16016 from marcfehling/docker
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 20 Sep 2023 05:21:08 +0000 (07:21 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Sep 2023 05:21:08 +0000 (07:21 +0200)
commitf272d366cc8a5efd3199530acdfdfcf6167d86cd
tree55abb32a589b603610d659e6ec3aa23e684f2727
parent3ba99a82342e4b97c9de160be6a3a3e50414977d
parentce716cf0460e1f933ba0fb821d263ce7ecb1286e
Merge pull request #16016 from marcfehling/docker

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.