diff etc/JOKES @ 90368:48921c9f3f33

(Info-fontify-node): Check if already fontified or not by next-single-property-change.
author Kenichi Handa <handa@m17n.org>
date Tue, 14 Mar 2006 12:14:57 +0000
parents 23a1cea22d13
children 02e2382f5e8a
line wrap: on
line diff