| commit | f3eaf01c23b6bc1fc53f9c658a31fa1acdd3d2d1 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 17 22:00:18 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 17 22:00:18 2001 +0000 |
| tree | 45fa15e01fa03a6d65c28aeb9568c52ce2dd2dea | |
| parent | 63cb99e4f0dfb1bff9cf9fa53efd5a7cca78c672 [diff] |
More modifications to bring the script output in line with the real thing.