diff make-dist @ 88662:3dff33462440

New file.
author Dave Love <fx@gnu.org>
date Mon, 27 May 2002 18:21:58 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff