diff etc/TUTORIAL.de @ 34211:031eccc650dc

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