diff deploy/linux/deploy-deb.sh @ 482:b279234220e0 recording

Build fixes
author Chris Cannam
date Thu, 20 Aug 2015 16:27:54 +0100
parents 56cf3c9982a1
children cccac82528b9
line wrap: on
line diff