diff make-dist @ 18139:ee3c0d09dcd3

Synched with 1.9908.
author Per Abrahamsen <abraham@dina.kvl.dk>
date Wed, 04 Jun 1997 11:43:32 +0000
parents 0696d4c9aa15
children 6f263a83b071
line wrap: on
line diff