| commit | 68c8138e8948d7849b027f81a59612e0dcc3b89f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 15:14:00 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 15:14:00 2002 +0000 |
| tree | e5310ff86aad85c2fd4092fb182a1a0fcb9e486f | |
| parent | 04543deb6c064f49c7bb05efac876800f216b502 [diff] |
Still used the old config file. Fixed.