diff deploy/linux/docker/README @ 602:13b0abef20e0

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