log deploy/linux/docker/Dockerfile_deb.in @ 2141:c3c648a6e711 sv_v3.2pre2

age author description
Wed, 21 Nov 2018 12:30:40 +0000 Chris Cannam Deb fixes
Wed, 21 Nov 2018 11:55:01 +0000 Chris Cannam Fix some typos in deb scripts
Wed, 21 Nov 2018 11:25:43 +0000 Chris Cannam Experimental Docker deb package build