diff scripts/d-ps.sh @ 315:b67ceb4b6d04

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