diff TODO @ 4246:6c3721ff284c

simplification
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 13 Oct 2020 10:39:47 +0200
parents cb3af14626d4
children 330c4a4c103b
line wrap: on
line diff