diff deploy/linux/deploy-deb.sh @ 704:bec2618313d8

Not configure
author Chris Cannam
date Wed, 12 Dec 2018 10:31:13 +0000
parents 21e4df9865af
children a13d89b87c2c
line wrap: on
line diff