diff configure @ 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 db2cd87cef6f
children 15a89a89aa9b
line wrap: on
line diff