Skip to content

clean up docker state on exit

Warren Gifford requested to merge dev_docker_rm into master

Created by: uwedeportivo

Brings docker back to initial state so a subsequent start of the launch script doesn't fail.

Merge request reports