]> https://gitweb.dealii.org/ - dealii.git/commit
Migrate docker infrastructure to docker-files repository. 18283/head
authorMarc Fehling <mafehling.git@gmail.com>
Mon, 24 Mar 2025 11:55:24 +0000 (12:55 +0100)
committerMarc Fehling <mafehling.git@gmail.com>
Mon, 24 Mar 2025 11:55:24 +0000 (12:55 +0100)
commit9c378d98cbef4c6b47e1f28ebf7a82728bc0752e
tree49a1fdc04d2bc55e752834e2cd66398bbe2f4cb6
parent19332422bdb5d1abbb7da688b10f571507274184
Migrate docker infrastructure to docker-files repository.
.github/workflows/docker.yml [deleted file]
README.md
contrib/ci/make-docker-arm-build.sh [deleted file]
contrib/docker/Dockerfile [deleted file]

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.