[Documentation:Autograding] Docker Image Creation#595

bmcutler merged 1 commit intomainSubmitty/submitty.github.io:mainfrom

add_docker_image_instructionsSubmitty/submitty.github.io:add_docker_image_instructionsCopy head branch name to clipboard