| commit | 61c64c9de0f9b9a8355b4c365537cdfe15489eab | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 14 23:35:01 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 14 23:35:01 2000 +0000 |
| tree | 72b5774cd9defe047f62f15567ae759b291e69a9 | |
| parent | f0d750803dc78ea6fefed17de4fd785e80fb66b5 [diff] |
Various tweaks. It now returns the exact same files as Matthias' tool 95% of the time.