diff make-dist @ 13843:f5bd72a6fe48

(Fcall_interactively): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 25 Dec 1995 00:33:14 +0000
parents 0923c642e324
children 0a94cd2c51c4
line wrap: on
line diff