diff deploy/linux/deploy-deb.sh @ 253:0369c31f9c69

Linux deployment fixes
author Chris Cannam
date Tue, 22 Mar 2016 12:51:49 +0000
parents 120723f7698b
children 7dd6795af5e6
line wrap: on
line diff