diff etc/PROBLEMS @ 45707:1ad70e69b4ba

(Info-mode): Do set `font-lock-defaults', and be sure to set `font-lock-core-only'.
author Colin Walters <walters@gnu.org>
date Sun, 09 Jun 2002 00:18:15 +0000
parents b0790d543280
children ab6078ae4045
line wrap: on
line diff