log deploy/linux/docker/Dockerfile_appimage.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