diff deploy/linux/deploy-deb.sh @ 1023:385bb7313bdb

Fix a number of warnings in the 32-bit build
author Chris Cannam
date Wed, 01 Jul 2015 15:53:54 +0100
parents d47aa2977d7a
children 8b63b44c3a91
line wrap: on
line diff