diff lib/python/plinks.py @ 162:72631d4ac30b

make extra file info optional
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 30 Oct 2023 12:19:53 +0000
parents 1d1bd22124c0
children
line wrap: on
line diff