diff CITATION @ 637:55dd89415de0

Fix permissions in copied-in libraries
author Chris Cannam
date Thu, 17 Oct 2019 08:40:27 +0100
parents 4018ee2fcb60
children
line wrap: on
line diff