diff deploy/linux/deploy-deb.sh @ 1317:52585549774f piper

A bit more log info useful for win32/x64
author Chris Cannam
date Thu, 03 Nov 2016 16:42:47 +0000
parents 8b63b44c3a91
children 9b59deb4a854
line wrap: on
line diff