diff config.sub @ 50404:019c0ecad8d7

(woman-xref): Removed. (woman-mode): Use `Man-highlight-references' instead of `WoMan-highlight-references'. (WoMan-highlight-references): Removed.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 02 Apr 2003 21:24:04 +0000
parents 4977d34e1341
children c53a9463c31a d7ddb3e565de
line wrap: on
line diff