| commit | 92c2ebf1b2972480f01e297a7171ae8a5e18d802 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Nov 10 23:20:22 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Nov 10 23:20:22 2001 +0000 |
| tree | daecf643e58be9227e49e597a12254224f0bdb16 | |
| parent | 42ba08fab0f1d38e7c9fb68b222134b6182f9bf8 [diff] |
The libraries argument was completely ignored, fixed. Reported by Tom Loredo.