diff oldXMenu/Destroy.c @ 50004:14d6d1ad4a06

(Info-fontify-node): Don't hide indentation before the reference name. Don't process a reference twice when a new tag is inserted. (Info-hide-note-references): Fix doc and customize type.
author Andreas Schwab <schwab@suse.de>
date Sun, 02 Mar 2003 23:33:56 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff