diff make-dist @ 7670:b3be53811505

(verify_overlay_modification): GCPRO tail and overlay. Avoid copying tail twice.
author Richard M. Stallman <rms@gnu.org>
date Tue, 24 May 1994 21:16:23 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff