diff NEWS @ 3414:b9cba6a91780

simplification
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 11 Jun 2019 19:44:10 +0200
parents 4981405e6c5c
children 6add197274b1
line wrap: on
line diff