diff configure.in @ 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 c061b7b5de47
children 16708fb2d951
line wrap: on
line diff