diff extra/soundsoftware/update-external-repo.sh @ 1561:6074fffd8a1d feature_1136

No, a bare repo is better
author Chris Cannam
date Thu, 14 Jan 2016 12:03:06 +0000
parents b61a51fb42b9
children aea6f97ff27f
line wrap: on
line diff