diff make-dist @ 20191:0ccfc7a0662f

In deferral, check saved buffers to make sure they exist and have lazy-lock on.
author Simon Marshall <simon@gnu.org>
date Tue, 28 Oct 1997 14:17:40 +0000
parents 07e5f3623def
children 815e934f5ffc
line wrap: on
line diff