log deploy/linux/docker/Dockerfile_deb.in @ 734:07c610b06e58 easyhg_v1.4

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