diff etc/de-refcard.tex @ 34211:031eccc650dc

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