diff Makefile.mingw32 @ 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 6b23b827b108
children
line wrap: on
line diff