diff man/regs.texi @ 45285:dc0eece6818b

(shell-mode): Use (ring-empty-p rather than (zerop (ring-length.
author Francesco Potortì <pot@gnu.org>
date Tue, 14 May 2002 08:46:00 +0000
parents ac85b3ae7a59
children df6767370b43
line wrap: on
line diff