diff .Xdefaults @ 101:e2e64c3d763e

bug4 fixed, but that created a new, earlier bug
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 11 Sep 2023 22:06:45 +0100
parents bb5f1ea6cc5e
children 9d748ef46335
line wrap: on
line diff