| commit | 14126df562affe474a6a9d065cb37a603908faf6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 12 21:20:11 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 12 21:20:11 2000 +0000 |
| tree | c36c3d5ad31833bb07b79c8ab7ae993a49efa061 | |
| parent | 237b5f44c753f953c3b22fe944357b811a201bb5 [diff] |
Extension to Findertools by Erik van Blokland. In Contrib because I don't have the time to merge it into findertools before the distribution.