D

docker-all

All our docker images are built from here

Mirrored from https://*****@github.com/pymor/docker-all.git.
Updated .