diff deploy/linux/docker/build.sh @ 2067:c643094e4709

Use a slightly more compact dialog (esp on Mac)
author Chris Cannam
date Fri, 02 Nov 2018 14:42:48 +0000
parents 12b96d6b1d66
children
line wrap: on
line diff