diff bin/doPlinks.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 b0d9fe66ce8a
children
line wrap: on
line diff