diff etc/TUTORIAL.de @ 57022:463edf7390ca

(grep-mode-map): Rename `next-error-follow-mode' to `next-error-follow-minor-mode'.
author Juri Linkov <juri@jurta.org>
date Wed, 08 Sep 2004 20:21:57 +0000
parents 0d905c2ca814
children fe937402466e
line wrap: on
line diff