diff NEWS @ 194:a1ca7cf02939

removing unneeded files
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 17 Apr 2018 13:46:24 +0200
parents 993dd140bd30
children 21df474deeb1
line wrap: on
line diff