diff deploy/sign-plugins @ 35:d88317090948

Use a script for this (for portability)
author Chris Cannam
date Fri, 13 Dec 2019 16:49:40 +0000
parents 375d2a839053
children
line wrap: on
line diff