diff build/docker/Dockerfile_v2.7_ubuntu1604 @ 537:b9422f3e63a4

Update library URI so as not to be document-local
author Chris Cannam
date Wed, 22 Apr 2020 14:23:51 +0100
parents 124752918a1b
children
line wrap: on
line diff