diff deploy/osx/deploy.sh @ 431:29869c476572

clone() is never used (therefore presumably never works either)
author Chris Cannam
date Tue, 31 Mar 2015 12:12:31 +0100
parents 23287f4f521f
children 948148da3a46 af696edbd644
line wrap: on
line diff