comparison bin/_runme.sh @ 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 235004978b22
children 39c3835716f3
comparison
equal deleted inserted replaced
140:d8b134f6ab03 141:14d3802112b2