| commit | 90f22fee6bbd577c6d1d9206a143c006e1fe3d6b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 12 14:59:13 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 12 14:59:13 2001 +0000 |
| tree | 0db4ad788fd082aec4e11c10172208959727c67a | |
| parent | 883a19eb9ae82d0cd81d0ae731f7fbbb9522a6c5 [diff] |
Brought in line with current config.h.in.