diff lib-src/make-docfile.c @ 7737:a071be44cfae

Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 May 1994 18:32:47 +0000
parents d5d803ffff27
children dd3b83e4ceb0
line wrap: on
line diff