diff NEWS @ 4168:88d704264d64

fix for ubuntu 14.04
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 01 Sep 2020 10:19:29 +0200
parents e34c89e89aac
children 067c679626a2
line wrap: on
line diff