comparison deploy/linux/docker/Dockerfile_deb.in @ 2341:f670b7653f8e

Minor text tweak
author Chris Cannam
date Mon, 07 Oct 2019 09:32:50 +0100
parents 1d87a709fe1a
children 6845d7dafebf
comparison
equal deleted inserted replaced
2340:f576895641c2 2341:f670b7653f8e