K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1995-02-26T19:35:06.000000Z
K 7
svn:log
V 118
Patch bei Wolfram to avoid processing duplicate directories.

Submitted by:	wosch@cs.tu-berlin.de (Wolfram Schneider)

END