]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14638 from masterleinad/explicit_docker
authorMatthias Maier <tamiko@43-1.org>
Wed, 4 Jan 2023 21:34:29 +0000 (15:34 -0600)
committerGitHub <noreply@github.com>
Wed, 4 Jan 2023 21:34:29 +0000 (15:34 -0600)
commit4f810300e646cfdc4b898f74407a3dfd8ec9f973
treec81624f2b59e94cae1d005c967cd73ba56dcd691
parentf24e3f1eb1c474e387f17555cb17b7096da9f6e9
parent671dca84e13d69e79a80afe3f82dc233421e84f4
Merge pull request #14638 from masterleinad/explicit_docker

Be explicit about enabled and disabled dependencies in the Docker image

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.