diff INSTALL @ 34211:031eccc650dc

(reftex-toc-menu): Fix typo.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 05 Dec 2000 14:41:58 +0000
parents c41a9a242fed
children 1db330e58c71
line wrap: on
line diff