diff lib/python/plinks.py @ 246:666069efb0c6

output bytes, pickle and save dict if -p, trim lm value to int
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 02 Jan 2025 14:51:00 +0000
parents 1d1bd22124c0
children
line wrap: on
line diff