K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1997-08-02T18:52:16.000000Z
K 7
svn:log
V 70
Makefile.dist is a non-bmaked version of Makefile.  We don't want it.

END