diff man/autotype.texi @ 37980:0981540b6eec

(describe-variable): Put value on same line with preceding text, if it is short enough to look good that way.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Jun 2001 18:02:04 +0000
parents a75c13e39706
children 32f10000ac35
line wrap: on
line diff