diff etc/=TO-DO @ 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 59c8668f70c7
children
line wrap: on
line diff