diff etc/de-refcard.ps @ 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 7fe93ea27cb4
children df2859081c51
line wrap: on
line diff