diff scripts/metrics.sh @ 315:b67ceb4b6d04

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