comparison build/docker/Dockerfile_v2.7.1_ubuntu1404 @ 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
comparison
equal deleted inserted replaced
536:74c5b0bfa108 537:b9422f3e63a4