| commit | 136815d939917ce36c2c6373028ccbf1889555bd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 20:34:14 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 20:34:14 2000 +0000 |
| tree | 3b0585ad16832608b57c9e2b5f0e9a04b186efcd | |
| parent | 9ec8c0600a3ef75fffee3ae2586fcfef57c1580a [diff] |
Oops, not only the Popt versions were wrong, the resources were also short.