diff deploy/linux/control @ 676:cb4f7c3c01dd

Toward some CI bits
author Chris Cannam
date Thu, 06 Dec 2018 13:45:23 +0000
parents 212093882e4a
children 21e4df9865af
line wrap: on
line diff