diff src/w32console.c @ 24513:2db3b19a94bb

(Info-directory-list): Revert change to re-writing Info-default-directory-list, but put `alternative' first. (Info-insert-dir): Modify selecting the top dir file as a consequence.
author Dave Love <fx@gnu.org>
date Wed, 24 Mar 1999 14:25:58 +0000
parents 1fa5f9f5c92e
children 3bb855a40bf6
line wrap: on
line diff