diff man/killing.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 a093cd4ed690
children 7af49c69e77b
line wrap: on
line diff