diff make-dist @ 8808:75316e76905c

(Finsert_file_contents) [MSDOS]: Don't re-gc-protect filename; delete unused variables.
author Karl Heuer <kwzh@gnu.org>
date Fri, 16 Sep 1994 23:39:59 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff