diff make-dist @ 42567:b1eda5349a48

(enriched-make-annotation): Fix the change from 2002-01-05. (enriched-handle-display-prop): Return proper values.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 06 Jan 2002 11:35:17 +0000
parents 62671693b79f
children e13df10b6b63
line wrap: on
line diff