diff prod/setup.sh @ 315:b67ceb4b6d04

adjusting docker script
author aldrich@ssdt-ohio.org
date Tue, 29 Oct 2019 16:22:49 +0100
parents 2ae65177f74e
children 1f0ff7540734
line wrap: on
line diff