diff install-sh @ 1558:73b3dd65e0b3

Some debug + tidying
author Chris Cannam
date Thu, 18 Oct 2018 13:14:56 +0100
parents d7a2214e86e2
children
line wrap: on
line diff