diff deploy/linux/deploy-deb.sh @ 525:37d4e1b84a67

Introduce noconfig file
author Chris Cannam
date Tue, 11 Jul 2017 08:57:13 +0100
parents 56cf3c9982a1
children cccac82528b9
line wrap: on
line diff