diff BUGS @ 48690:036a8f0597c4

(Info-insert-dir): Make dir-node-cache variables buffer-local, so that killing the *info* buffer forces the dir-node to be rebuilt.
author Miles Bader <miles@gnu.org>
date Fri, 06 Dec 2002 09:08:55 +0000
parents af68d12218d0
children 8ce686bd7f4f
line wrap: on
line diff