diff deploy/linux/build-and-test-deb.sh @ 2365:446006ea9099

Versions and paths
author Chris Cannam
date Thu, 10 Oct 2019 14:31:11 +0100
parents 6845d7dafebf
children
line wrap: on
line diff