diff deploy/linux/sign-plugins @ 50:6547119dbc54

Import all sets of RDF files; omit resources without titles; show any given library once only; warn to stderr if any are missing
author Chris Cannam
date Wed, 29 Jan 2020 15:00:32 +0000
parents 28b1dd4ee370
children
line wrap: on
line diff