| commit | e578a63827b3b01e331a0751b62b737e008ca9e7 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 15 01:27:14 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 15 01:27:14 2001 +0000 |
| tree | 7047a72dc00516e0d5a575601b735e6659528a69 | |
| parent | b6e9cad34ce46a6a733d8aa5bf5b9d389fa1316f [diff] |
Oops, forgot to check in configure.