log deploy/linux/docker/Dockerfile_deb.in @ 2120:295b6a146f1c

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