diff deploy/linux/build-docker.sh @ 76:d55684dff362

Show relative status, query downgrades
author Chris Cannam
date Tue, 18 Feb 2020 13:41:38 +0000
parents e7787ab0f696
children
line wrap: on
line diff