diff deploy/linux/deploy-deb.sh @ 727:bd9a54f9aca8

Fix typo
author Chris Cannam
date Mon, 17 Dec 2018 09:35:14 +0000
parents 48e746f45bde
children 1d0a0fce4021
line wrap: on
line diff