log deploy/linux/docker/Dockerfile_deb.in @ 726:720595a8fa10

age author description
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
Wed, 12 Dec 2018 14:10:55 +0000 Chris Cannam Defeat cacheing; switch to 16.04 for deb build (no point in trying to support 14.04 as it doesn't have the python-pyqt5 package that is one of our dependencies)
Wed, 12 Dec 2018 11:12:23 +0000 Chris Cannam Further Linux build bits