comparison .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
comparison
equal deleted inserted replaced
140:d8b134f6ab03 141:14d3802112b2