log

age author description
Thu, 07 Sep 2000 14:05:23 +0000 Gerd Moellmann (smaller_face): Compare font heights with `<' and `>'
Thu, 07 Sep 2000 13:51:59 +0000 Dave Love *** empty log message ***
Thu, 07 Sep 2000 13:50:53 +0000 Dave Love (menu-bar-options-menu): Fix the font-lock toggle.