diff etc/LINUX-GNU @ 31005:70fe74e07912

(Man-init-defvars): Don't reset Man-fontify-manpage-flag, even if the display doesn't support colors: some displays will support bold/underline faces.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 21 Aug 2000 14:17:19 +0000
parents 6b5aacec5ace
children e7d1e0f7a699
line wrap: on
line diff