comparison deploy/linux/deploy-deb.sh @ 1856:224074c9095c plugin-path-config

Minor layout fix
author Chris Cannam
date Fri, 08 Jun 2018 15:14:25 +0100
parents 9b59deb4a854
children c377ab5c1447
comparison
equal deleted inserted replaced
1855:e1ecbd703763 1856:224074c9095c