diff configure @ 534:ceb81558be78

Subrepo update for Travis CI fix
author Chris Cannam
date Thu, 17 May 2018 18:30:00 +0100
parents 12d36dcfbbfb
children 1058d9b37a97
line wrap: on
line diff