diff NEWS @ 3133:0c2a8d5e0097

moving third-party dependencies to another server
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 16 Jan 2019 15:51:32 +0100
parents 50044323a721
children 5c0d3df52b05 5a3b961e9524
line wrap: on
line diff