diff treesum.py @ 213:5a2d9ec204ce

Also log filename problems to stderr
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 24 Jan 2025 17:10:57 +0100
parents dfe7bb0579e2
children 48430941c18c
line wrap: on
line diff