load() now does a FoldAll before passing the data to the taglist
authorkramm <kramm>
Thu, 8 Apr 2004 08:59:25 +0000 (08:59 +0000)
committerkramm <kramm>
Thu, 8 Apr 2004 08:59:25 +0000 (08:59 +0000)

No differences found