diff INSTALL @ 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 0582cd3a31a6
children c303d2623f63
line wrap: on
line diff