comparison etc/PROBLEMS @ 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 a7963e66c555
children f44a8a68506f
comparison
equal deleted inserted replaced
30019:918a23f7ac93 30020:fd781aee7a03