comparison plinksJob.sh @ 179:9d71a9f55ea0

tweak UI: copy/paste and title bar
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 05 Jul 2023 15:07:51 +0100
parents 29263ba42361
children
comparison
equal deleted inserted replaced
178:e1bc9d8d688c 179:9d71a9f55ea0