diff install-sh @ 1802:c48548a85622

One last fix to this compatibility function (I hope!)
author Chris Cannam
date Thu, 10 Oct 2019 09:47:25 +0100
parents d7a2214e86e2
children
line wrap: on
line diff