diff make-dist @ 17800:ebc3066cd381

Restored code lost in merge.
author Per Abrahamsen <abraham@dina.kvl.dk>
date Wed, 14 May 1997 17:38:51 +0000
parents b8a3deb464b9
children 0696d4c9aa15
line wrap: on
line diff