diff etc/DISTRIB @ 71051:bf1f0ff1e25e

(ewoc--insert-new-node): Use ewoc--refresh-node.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 29 May 2006 03:47:56 +0000
parents e8a3fb527b77
children 0259a1711394
line wrap: on
line diff