Skip to content

Documentation: Remove old docker details

Alex Buccherirequested to merge
documentation/remove_old_docker_doc into hotfix-16.1

Remove old docker details, pointing to Hans' dockerhub. This is now replaced by Docker_images.md.

This closes issue #1271 (closed)

Merge request reports