diff deploy/linux/build-and-test.sh @ 121:5e01818ff581

Subrepo update
author Chris Cannam
date Wed, 22 Apr 2020 14:30:38 +0100
parents ddfd13c43519
children
line wrap: on
line diff