]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10849 from luca-heltai/improve-docker-image
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 28 Aug 2020 08:34:12 +0000 (10:34 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Aug 2020 08:34:12 +0000 (10:34 +0200)
commit678f06357ef74a2ccbe16a7c56e1184363d2dc5d
tree9d0762eb32f073812a1bc37141cfbd9c826043b2
parentb779481823da8eac872541e788f2a150dc508346
parent5aea88e8b32000073e0f8f43e0a4939aa6afb405
Merge pull request #10849 from luca-heltai/improve-docker-image

Make sure we keep around the sources, to allow debugging (docker).

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.