diff deploy/linux/deploy-deb.sh @ 694:69a85dc1067a

Update subrepos
author Chris Cannam
date Wed, 22 Apr 2020 17:37:33 +0100
parents cccac82528b9
children
line wrap: on
line diff