diff deploy/linux/deploy-deb.sh @ 311:e9529a997474

Platform-specific file extension
author Chris Cannam
date Tue, 11 Jul 2017 19:14:00 +0100
parents 7dd6795af5e6
children
line wrap: on
line diff