diff deploy/linux/deploy-deb.sh @ 357:e8f9fcca9528

Remove unnecessary (and thus failing) Hg update
author Chris Cannam
date Thu, 24 Oct 2019 11:58:25 +0100
parents 7dd6795af5e6
children
line wrap: on
line diff