diff make-dist @ 74281:0c96941203c0

(facemenu-add-new-face): Improve doc strings of constructed commands.
author Richard M. Stallman <rms@gnu.org>
date Tue, 28 Nov 2006 02:19:58 +0000
parents e68d05a41cab
children ddcbd2c1b70d 02cf29720f31
line wrap: on
line diff