diff Makefile.linux @ 84:55a047986812 tip

Update library URI so as not to be document-local
author Chris Cannam
date Wed, 22 Apr 2020 14:21:57 +0100
parents 11a826034a9d
children
line wrap: on
line diff