diff man/cl.texi @ 71393:61daeebc775a

(mode-line-format): Save some mode line space.
author Richard M. Stallman <rms@gnu.org>
date Mon, 19 Jun 2006 21:49:57 +0000
parents 11b616eddda4
children 809fa10d2c90 e6bf73e43cf4
line wrap: on
line diff