diff lib/python/plinks.py @ 280:e054fe9403af default tip

move final report to stderr
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 27 Feb 2025 18:23:31 +0000
parents 1d1bd22124c0
children
line wrap: on
line diff