comparison etc/TERMS @ 30020:fd781aee7a03

(info-initialize): Use prune-directory-list to remove non-existant directories from Info-directory-list.
author Miles Bader <miles@gnu.org>
date Tue, 04 Jul 2000 04:49:54 +0000
parents e96ffe544684
children 23a1cea22d13
comparison
equal deleted inserted replaced
30019:918a23f7ac93 30020:fd781aee7a03