diff deploy/linux/deploy-deb.sh @ 1422:d907a3eb5656 3.0-integration

Minor comment tweaks
author Chris Cannam
date Tue, 13 Dec 2016 13:23:51 +0000
parents 8b63b44c3a91
children 9b59deb4a854
line wrap: on
line diff