diff src/vmstime.h @ 10570:7716de3fb4b6

(shell): If we create a new shell buffer, select that buffer even if it has been renamed.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Jan 1995 22:37:16 +0000
parents 2c7e0875f6d0
children ee40177f6c68
line wrap: on
line diff