log deploy/linux/deploy-deb.sh @ 1909:12b96d6b1d66

age author description
Wed, 11 Jan 2017 14:20:38 +0000 Chris Cannam Update these so they work in Docker
Mon, 16 Nov 2015 11:43:51 +0000 Chris Cannam Ensure version is updated in control file