diff man/gnus.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 47a8aeb481fb
children 82d113655734
line wrap: on
line diff