diff install-sh @ 1244:604b0b2a58e1 piper

More useful reporting output
author Chris Cannam
date Tue, 01 Nov 2016 15:09:44 +0000
parents d7a2214e86e2
children
line wrap: on
line diff