diff deploy/linux/docker/Dockerfile_deb.in @ 720:adc3c445a07f

Add a note in the changelog about 1.4.0 (not a feature release, just bringing things up-to-date)
author Chris Cannam
date Thu, 13 Dec 2018 10:58:51 +0000
parents 6fb20633da00
children 48e746f45bde
line wrap: on
line diff