| commit | 0eba959ed328cb6433d67b7e0f31310ee2304ffc | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 03 22:39:09 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 03 22:39:09 2000 +0000 |
| tree | c1fc02994765be7ddecdab4134323eda50a1b35d | |
| parent | aee9d6b73e0d0df6fc2f260c4314fe1c17282cf8 [diff] |
Added an extraexportsymbols option, to allow (you guessed it:-) extra export symbols to be specified.