diff etc/GNU @ 42479:d9873c0f6418

(enriched-handle-display-prop): Remove unused variables. (enriched-mode): Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 02 Jan 2002 13:19:09 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff