diff lib/python/plinks.py @ 351:444ddf704502 trim

switch to plain GzipFile for comparison purposes, lots of syntax tidying
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 12 Mar 2026 18:20:01 +0000
parents 1d1bd22124c0
children
line wrap: on
line diff