]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16047 from marcfehling/docker
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 26 Sep 2023 19:13:32 +0000 (13:13 -0600)
committerGitHub <noreply@github.com>
Tue, 26 Sep 2023 19:13:32 +0000 (13:13 -0600)
commit1ce698b20e29be77229eab9c14a422ec501bfaf9
tree224bf8989de6a912ae4ead9f88288e2980e16d67
parentaa2042e1c9b865c66810e2d38ef5b819ae88f666
parent9114a57907d2bd25e76d09106cec0a91211bb76c
Merge pull request #16047 from marcfehling/docker

Docker: Fix driver field.

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.