comparison 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
comparison
equal deleted inserted replaced
356:e10d30c67eff 357:e8f9fcca9528