diff CITATION @ 602:13b0abef20e0

Ensure plugin libraries are produced with the right names
author Chris Cannam
date Mon, 30 Sep 2019 12:51:03 +0100
parents 4018ee2fcb60
children
line wrap: on
line diff