diff nt/ftime.bat @ 30109:310914da7811

(Info-last-search): Variable removed. (Info-search-history): New variable. (Info-search): New Info-search-history.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 07 Jul 2000 13:01:16 +0000
parents 5ba81a9aa8e8
children 648f23bd7f72
line wrap: on
line diff