diff install-sh @ 1745:3587df7758e7

Strangely the three files seem to be installed if we have them in this order, but not the other order. Must be missing something here.
author Chris Cannam
date Wed, 04 Oct 2017 21:03:24 +0100
parents c053d985ec8c
children
line wrap: on
line diff