diff deploy/osx/paths.sh @ 2404:7c09d776d579

Also remove volume
author Chris Cannam
date Thu, 24 Oct 2019 14:37:37 +0100
parents 2d48532a074b
children
line wrap: on
line diff