diff etc/ps-prin0.ps @ 45688:fe497b121add

(Info-mode): Don't set up categories. (Info-fontify-menu-headers): Use `font-lock-face' instead of categories. (Info-fontify-node): Ditto.
author Colin Walters <walters@gnu.org>
date Sat, 08 Jun 2002 20:43:25 +0000
parents b5a4db21c424
children e5675426ff4c
line wrap: on
line diff