diff man/cmdargs.texi @ 42453:f420ae2739cc

(various face definitions): Use :weight, not :bold.
author Richard M. Stallman <rms@gnu.org>
date Mon, 31 Dec 2001 20:34:50 +0000
parents 608e18d9fb18
children dced9cd23927
line wrap: on
line diff