diff deploy/linux/deploy-deb.sh @ 2432:a46ca166c29c

Ask for confirmation
author Chris Cannam
date Tue, 10 Dec 2019 09:32:52 +0000
parents e0093740b194
children
line wrap: on
line diff