diff man/glossary.texi @ 66857:d839e7b2c0c8

(menu-bar-options-menu): Delete "Syntax Highlighting" entry, it is on by default now.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 14 Nov 2005 08:03:59 +0000
parents 4340d5ef3c32
children 979dc92f05ce 2d92f5c9d6ae
line wrap: on
line diff