log deploy/linux/docker/Dockerfile_deb.in @ 732:66284838b373

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