log deploy/linux/deploy-deb.sh @ 1949:037493178de5

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