Add Docker utilities

Branch: eschnett/docker

Branch: master

Declined

#3 · Created 2021-03-19 · Last updated 2021-03-19

Declined pull request

Closed by: Erik Schnetter·2021-03-19

These are instructions and auxiliary files for maintainers to create Docker images holding all Cactus dependencies.

There are also scripts to make it easy to use these Docker images.