diff .Xdefaults @ 210:6faed9e5d9c9

use 2-digit suffixes, use more care in what we wait for in the outer loop
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 11 Jan 2024 16:43:16 +0000
parents bb5f1ea6cc5e
children 9d748ef46335
line wrap: on
line diff