]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16071 from marcfehling/docker
authorMarc Fehling <mafehling.git@gmail.com>
Sat, 30 Sep 2023 19:48:47 +0000 (13:48 -0600)
committerGitHub <noreply@github.com>
Sat, 30 Sep 2023 19:48:47 +0000 (13:48 -0600)
commit58febcd5cf5e6e88cecd6d4d2369dd40f6f2deff
tree4a0c2d43b8177375e33563cb618cdc2dbb7cb69a
parent191d80e6f6b1d6bccf8eeb1465ebfcbc48053e95
parent7f91de819e628d39b90ca6488b9c5c213c2067cf
Merge pull request #16071 from marcfehling/docker

Docker: fix order of ARGS in Dockerfile.

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.