diff make-dist @ 21285:a3d90bdad8f9

use new UPDATE window-end arg.
author Simon Marshall <simon@gnu.org>
date Wed, 25 Mar 1998 16:52:19 +0000
parents 70301d94ce1e
children 9293d783c708
line wrap: on
line diff