diff .hgignore @ 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 ddfb3e95a219
children
line wrap: on
line diff