diff make-dist @ 15810:add6684a3e67

(help-font-lock-keywords): Undo July 26 change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 31 Jul 1996 18:17:16 +0000
parents 80562f089595
children ffc0af16b32a
line wrap: on
line diff