log deploy/linux/docker/Dockerfile_deb.in @ 737:4f3a8aa8d384 tip

age author description
Mon, 17 Dec 2018 09:35:14 +0000 Chris Cannam Fix typo
Mon, 17 Dec 2018 09:31:38 +0000 Chris Cannam Avoid using directory name that clashes with intended executable name
Mon, 17 Dec 2018 09:25:11 +0000 Chris Cannam Include the kdiff3 executable