diff config.pri.in @ 542:09973064d514

Use newer distro to avoid hg certificate problem
author Chris Cannam
date Thu, 14 Feb 2019 13:04:13 +0000
parents 1058d9b37a97
children aec36277d870
line wrap: on
line diff