]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16060 from marcfehling/docker
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 28 Sep 2023 17:51:55 +0000 (11:51 -0600)
committerGitHub <noreply@github.com>
Thu, 28 Sep 2023 17:51:55 +0000 (11:51 -0600)
commitc00406db16fd72e0bfd10d429b62dacf5d89b571
tree99262e15748029f345fa24cfa815db28aad5e52c
parent3779fa9eb4b4e47c516f2ba41df648bcd8d0920e
parent64279d2a01e15ebb260b11202814b6b91589cb4d
Merge pull request #16060 from marcfehling/docker

Docker: Use one process to decrease memory usage.

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.