diff build/docker/Dockerfile_v2.7.1_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 2432a915e1d1
children
line wrap: on
line diff