diff NEWS @ 3236:872efde28e58

more constness
author Alain Mazy <alain@mazy.be>
date Fri, 15 Feb 2019 11:08:18 +0100
parents 45e1631febbb
children e44e0127e553
line wrap: on
line diff