diff install-sh @ 1127:815f82508f96 tony-2.0-integration

Back out Matthias's e22bfe8ca248 in the hope that my (earlier but on a different branch, and now merged) fix 882d448c8a6d will do the right thing
author Chris Cannam
date Thu, 20 Aug 2015 15:33:13 +0100
parents d7a2214e86e2
children
line wrap: on
line diff