diff INSTALL @ 403:732afc16cdd6

And a further win32 fix
author Chris Cannam
date Tue, 16 Jun 2015 13:01:59 +0100
parents 38c638894360
children 7a393db13c75
line wrap: on
line diff