diff deploy/linux/build-and-test-deb.sh @ 733:7942b7633505

Further to adding Plink component
author Chris Cannam
date Mon, 17 Dec 2018 18:48:31 +0000
parents 345c12e02e3e
children
line wrap: on
line diff