diff make-dist @ 6657:28359458811c

(gc_in_progress): Declared.
author Richard M. Stallman <rms@gnu.org>
date Sun, 03 Apr 1994 21:31:47 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff