diff src/syntax.c @ 4187:b3df9c7072bb

(outline-mode-map): Delete spurious `outline-' from show and hide command names in menu.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 Jul 1993 17:57:35 +0000
parents 373bff27d0d6
children fb633691b4a9
line wrap: on
line diff