comparison deploy/linux/deploy-deb.sh @ 542:09973064d514

Use newer distro to avoid hg certificate problem
author Chris Cannam
date Thu, 14 Feb 2019 13:04:13 +0000
parents 56cf3c9982a1
children cccac82528b9
comparison
equal deleted inserted replaced
541:fea109b93831 542:09973064d514