diff make-dist @ 12867:26e4b5392530

(run-scheme): Use pop-to-buffer. Add *scheme* to same-window-buffer-names.
author Richard M. Stallman <rms@gnu.org>
date Wed, 16 Aug 1995 14:39:29 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff