diff man/programs.texi @ 33642:26e82f006e90

(java-keywords): Add MATCH-HIGHLIGHT part for javadoc tags.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 20 Nov 2000 16:17:34 +0000
parents b00126124976
children c42bb7d4437b
line wrap: on
line diff