comparison deploy/linux/control.example @ 715:d1c5444be23d tony_integration

Merge from default branch
author Chris Cannam
date Fri, 09 May 2014 17:15:50 +0100
parents 5ddf310f61c1
children dac686f8efb8
comparison
equal deleted inserted replaced
714:2f829a62fe55 715:d1c5444be23d