diff scripts/console.sh @ 315:b67ceb4b6d04

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