diff make-dist @ 25631:0987f52a0674

(make-temp-file): New function.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Sep 1999 01:08:15 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff