log deploy/linux/deploy-deb.sh @ 1557:5a15539f4399

age author description
Wed, 11 Jan 2017 14:20:38 +0000 Chris Cannam Update these so they work in Docker