log deploy/linux/docker/Dockerfile_deb.in @ 2119:914ddb643616

age author description
Wed, 21 Nov 2018 11:55:01 +0000 Chris Cannam Fix some typos in deb scripts