diff lib/python/plinks.py @ 302:13414b0dfefb trim

adapt to new configuration
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 13 May 2025 12:05:22 +0100
parents 1d1bd22124c0
children
line wrap: on
line diff