Skip to content

atomic patch docker 2

hgratten requested to merge atomic_patch_docker_2 into master

Revision of merge request !162. This patch

  • adds some dependencies in the Docker container (to be used later)
  • improves usability of the enter.sh script for less experienced docker users

Merge request reports