]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efc1796) | patch
Make sure HOME, WORKDIR, and mpi work correctly on root image.
authorLuca Heltai <luca.heltai@sissa.it>
Mon, 27 Dec 2021 15:02:26 +0000 (16:02 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Mon, 27 Dec 2021 15:02:26 +0000 (16:02 +0100)
commitc9ae2d862cb1fa84844f65ebae37280e209fa91c
tree7a46cab648ded2ca0c93bef4533ea2438f447f15tree | snapshot
parentefc1796043146ff58f611b09b41011799a337cc8commit | diff
Make sure HOME, WORKDIR, and mpi work correctly on root image.
contrib/docker/Dockerfile.root diff | blob | history
Mirror of the development repository for deal.II

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.