diff INSTALL.txt @ 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 28302e07f851
children adc8a48f4e4c
line wrap: on
line diff