diff install-sh @ 786:1089d65c585d tip

Divert some debug output away from stderr
author Chris Cannam
date Fri, 14 Aug 2020 10:46:44 +0100 (2020-08-14)
parents 78336f4b8935
children
line wrap: on
line diff