diff config.pri.in @ 316:3cd337892a16

Update before install; seems to be necessary (based on other projects) to avoid recent Ruby-related error
author Chris Cannam
date Tue, 10 Oct 2017 13:52:12 +0100
parents f0f57af581d7
children 0e8d2eb2eca7
line wrap: on
line diff