]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13137 from marcfehling/docker
authorLuca Heltai <luca.heltai@sissa.it>
Mon, 27 Dec 2021 09:47:48 +0000 (10:47 +0100)
committerGitHub <noreply@github.com>
Mon, 27 Dec 2021 09:47:48 +0000 (10:47 +0100)
commit00b30bfeab4845664483cb80a7efc24f342dcd9c
tree2d663953c01602efa9633d180a21bd34946e815e
parent83a1a0a810dc277da9c4146014d072c39e75186f
parent0e29532030af2e678c029a732694161f2a3d67a7
Merge pull request #13137 from marcfehling/docker

fix docker.yml - try 3

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.