diff .Xdefaults @ 141:14d3802112b2

remove the mistaken deletion of NONPRINT, add support for rebuilding the output of a previous mistaken run
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 02 Oct 2023 18:52:43 +0100
parents bb5f1ea6cc5e
children 9d748ef46335
line wrap: on
line diff