diff lispref/tips.texi @ 7825:06c366308319

(Info-default-directory-list): Setting this no longer needed.
author Richard M. Stallman <rms@gnu.org>
date Tue, 07 Jun 1994 15:32:29 +0000
parents c5927c75b2b5
children 62d1138d10de
line wrap: on
line diff