diff make-dist @ 10712:5b86ce0cddb5

(recover-file): Use ordinary `f' to read file name.
author Richard M. Stallman <rms@gnu.org>
date Fri, 10 Feb 1995 06:29:31 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff