diff scripts/exec-all-projects.sh @ 315:b67ceb4b6d04

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