diff lib/python/plinks.py @ 148:ded66be0238c

for use in debugging, see notes and tests 2, 17, merge test
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 04 Oct 2023 18:51:56 +0100
parents 1d1bd22124c0
children
line wrap: on
line diff