tree d8df2a56735ecf5dc9198f45ecadc00ea0ac7d7d
parent ba46dd94fc970cc14ef5e6f70defde39f28dc1ae
author Sérgio Silveira <sdsilveira@gmail.com> 1585504018 +0200
committer Daniel Blankensteiner <db@vmail.dk> 1585762736 +0200

More small tweaks.