diff make-dist @ 10975:5abad4aec8e0

(shell): Use pop-to-buffer. (same-window-buffer-names): Add *shell* to the list.
author Richard M. Stallman <rms@gnu.org>
date Sun, 12 Mar 1995 09:39:49 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff